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

elextr notifications at xxxxx
Tue Nov 23 02:39:08 UTC 2021


> Location of message window and sidebar do not depend on screen size. 

The preferable position/size depends on window size, and the possible window size depends on screen size, a window wider/higher than the screen is impossible.  A wide (relative to height) window supports having the message window at the side and a wider symbols pane, with a less ultra wide window it is preferable to have it on the bottom, and a Raspberry Pi window supports not much of either.

These are most definitely not the settings users want synced between machines unless they are exactly the same screen and the user chose a similar window size.  If the two machines are the same the user just syncs both `geany.conf` and `session.conf`.

> With your approach, almost everything is session because everything is eventually tied to GUI

Reducio ad absurdum.

> reconfigure msgwin/sidebar location whenever a new session is created would be annoying.

Yes, if the capability to create a new session is added to Geany it should copy the current values, its on the same machine as the current session, so it should have the same layout by default.  But ATM the only way within Geany to create new session files is to create a whole new config directory with `-c` and that writes default values.

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

Or your configs, or @kugel-s .... everybody has different use-cases.  My point was that removing existing use-cases because its not how _you_ or _I_ use Geany is not acceptable.

-- 
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-976111466
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20211122/46212abc/attachment.htm>


More information about the Github-comments mailing list