Skip to content

Keep in-files search dialog open, closes #1663, by @harshad1#1689

Merged
gsantner merged 7 commits intogsantner:masterfrom harshad1:keep_search_openMay 21, 2022
+15-4

Commits

Commits on Apr 29, 2022

Commits on Apr 30, 2022

Commits on May 14, 2022

Commits on May 21, 2022