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

elextr notifications at xxxxx
Wed Nov 17 07:24:18 UTC 2021


The list is only a starting point for discussion, definitely not definitive, thats why I think its ok to merge the branch since it can take time to consider settings that are unclear, but in the meantime other PRs changing settings can get built on top instead of session-split getting conflicts.

The list is just suggestions, so I have defaulted to yes if I'm unsure so it can be looked at by others.  

The Geany project does not have a clear definition of what constitutes a "session" setting, since until now it didn't matter :-).  What I have used as an initial definition is a setting that an individual user is likely to change, possibly often, and it doesn't affect the files being edited, hence for example GUI settings are session, but not indent settings.

>  I clearly disagree on virtualspace but msgwin_orientation is an item where I'm not sure myself.

Given how many settings there are I didn't look all of them up in the manual/code when making the list, but relied on memory or the setting name (risky). 

Having looked at it, I agree `virtualspace` is an editor setting, so not session specific, and I am also unsure about `msgwin_orientation` because it seems unlikely the user will change it very often, but as I said I defaulted to yes.  

But for another example `msgwin_visible` is definitely session since its state changes often, sometimes automatically.

-- 
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-971306328
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20211116/0218842d/attachment-0001.htm>


More information about the Github-comments mailing list