bookmarks: setup user_query support#7995

Closed

haraldschilly wants to merge 10 commits intomasterfrom

bookmarks-user_query

Commits on Oct 31, 2024

bookmarks: setup user_query support
haraldschilly
committed
Merge remote-tracking branch 'origin/master' into bookmarks-user_query
haraldschilly
committed
bookmarks: user_query to set starred files – does not work, though
haraldschilly
committed

Commits on Nov 1, 2024

Merge remote-tracking branch 'origin/master' into bookmarks-user_query
haraldschilly
committed

Commits on Nov 4, 2024

Merge remote-tracking branch 'origin/master' into bookmarks-user_query
haraldschilly
committed

Commits on Nov 6, 2024

Merge remote-tracking branch 'origin/master' into bookmarks-user_query
haraldschilly
committed

Commits on Dec 2, 2024

Merge remote-tracking branch 'origin/master' into bookmarks-user_query
haraldschilly
committed

Commits on Jan 8, 2025

Merge remote-tracking branch 'origin/master' into bookmarks-user_query
haraldschilly
committed

Commits on Jan 24, 2025

Merge remote-tracking branch 'origin/master' into bookmarks-user_query
haraldschilly
committed

Commits on Apr 28, 2025

Merge remote-tracking branch 'origin/master' into bookmarks-user_query
haraldschilly
committed