Ah, thanks. I now see both at the Geany Plugins site: Project Organizer https://plugins.geany.org/projectorganizer.html
Commander https://plugins.geany.org/commander.html On Thu, Mar 6, 2025, at 3:44 AM, Colomban Wendling via Users wrote: > …or you can use the Commander plugin and use the command panel for files :) > > Le 03/03/2025 à 18:03, Jiří Techet via Users a écrit : >> Hi John, >> >> this is not possible with the Geany 2.0 release but this feature is >> present in the current development version of Geany. It's actually >> possible in two ways: >> >> - using the Documents filter added in https://github.com/geany/geany/ >> pull/4210 <https://github.com/geany/geany/pull/4210> >> >> - using the Project Organizer plugin and the navigation panel, added in >> https://github.com/geany/geany-plugins/pull/1341 <https://github.com/ >> geany/geany-plugins/pull/1341>. For a screenshot how this looks like, >> check https://github.com/geany/geany/issues/3078#issuecomment-2270789036 >> <https://github.com/geany/geany/ >> issues/3078#issuecomment-2270789036> (note that this feature works also >> when you don't use projects) >> >> Cheers, >> >> Jiri >> >> On Sun, Mar 2, 2025 at 9:51 PM John Gabriele via Users >> <[email protected] <mailto:[email protected]>> wrote: >> >> I have around 90 files open, and can see their filenames >> helpfully displayed in the Documents tab in the Sidebar >> (left side navigation pane). I see that each file also >> has a tab at the top of the editor window as well. Is >> there any way to search the list of open filenames? >> >> For example, suppose I want to quickly navigate to a file >> with "red" in the filename: I want to open some filenames / >> Documents search dialog, type in "red", and get back a >> clickable list of the filenames I have open that have >> "red" somewhere in their name. >> _______________________________________________ >> Users mailing list -- [email protected] >> <mailto:[email protected]> >> To unsubscribe send an email to [email protected] >> <mailto:[email protected]> >> >> >> _______________________________________________ >> Users mailing list -- [email protected] >> To unsubscribe send an email to [email protected] > > _______________________________________________ > Users mailing list -- [email protected] > To unsubscribe send an email to [email protected] _______________________________________________ Users mailing list -- [email protected] To unsubscribe send an email to [email protected]
