IMO this should ideally use GIO's `admin://` scheme, which handles all this. Of course this requires Geany to use GIO for this, which is only partially the case now.
A plugin could work indeed, but that kind of sounds like duplicating a potentially tricky feature. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/discussions/4020#discussioncomment-14644810 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/repo-discussions/4020/comments/[email protected]>
