[Github-comments] [geany/geany] [session-split] More things to session (Issue #3007)

xiota notifications at xxxxx
Tue Nov 23 01:14:37 UTC 2021


@elextr 

> This would exactly support the @kugel- use-case since its pretty likely his screen sizes are different between laptop and workstation, so GUI things (geometry, location of message window, size of message window etc) are likely to be different.
So these would stay with the machine and the appropriate screen(s).

Location of message window and sidebar do *not* depend on screen size.  But they are settings users would likely want synced across computers, assuming they don't just use the defaults, because it would be an annoyance to have to reconfigure them whenever a new session is created.

With your approach, almost everything is session because everything is eventually tied to GUI.  Very few settings affect the edited file.  Indentation width does so only because of tabs-to-spaces.  For projects, like Geany, where real tabs are used for indentation, it would be a session preference (by your definition).

>  In other words thats too individual to be useful.

Only if only your configs were used to find sessionable preferences.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/3007#issuecomment-976083972
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20211122/c5ddea6e/attachment.htm>


More information about the Github-comments mailing list