Perhaps you should make a github issue so it can be discussed, but to save you some effort its very unlikely that monitoring of closed files will be accepted, and open ones are already monitored.
Adding position to Geany's private "recent files" list might be acceptable, but I suspect it hasn't been done because the GTK recent files list does not accept it. Cheers Lex On Mon, 23 Oct 2023 at 03:02, H via Users <users@lists.geany.org> wrote: > > On 10/21/2023 08:32 PM, Lex Trotman via Users wrote: > > On Sun, 22 Oct 2023 at 03:44, Frank Lanitz via Users > > <users@lists.geany.org> wrote: > >> Cheers, > >> > >> On 21.10.23 18:54, H via Users wrote: > >>> I see. However, would it not make more sense to also remember and > >>> restore the cursor position when a file is closed and opened without > >>> change to the session? > >> I'm usually open/closing >>100 files during a work day. I expect a lot > >> of complexity coming in with this feature as e.g. we need some cleanup > >> job over time. Maybe this could be done by something like "remember the > >> last 100 only". This might even hit the limit of what you can do with a > >> simple ini-file (sqlite?). Well.. solvable problems though. > > Does it need to be persistent? Within a session its just in memory > > and the plugin could just limit the list to a user settable number. > > > > Cheers > > Lex > > > >> I would see such a feature however as a plugin and invite everyone who > >> likes to work on it. > >> > >> Cheers, > >> Frank > >> _______________________________________________ > >> Users mailing list -- users@lists.geany.org > >> To unsubscribe send an email to users-le...@lists.geany.org > > _______________________________________________ > > Users mailing list -- users@lists.geany.org > > To unsubscribe send an email to users-le...@lists.geany.org > > I think it should be persistent, however, it would need to handle that files > are renamed/moved/deleted outside Geany by utilizing those notifications. > > _______________________________________________ > Users mailing list -- users@lists.geany.org > To unsubscribe send an email to users-le...@lists.geany.org _______________________________________________ Users mailing list -- users@lists.geany.org To unsubscribe send an email to users-le...@lists.geany.org
