[Github-comments] [geany/geany] Option to hide the fold margin but keep folding (#2927)
elextr
notifications at xxxxx
Sun Oct 10 23:53:50 UTC 2021
I am not sure that being able to turn off folding is a good idea, IIUC parts of symbols handling uses it to locate the current block/function/construct. There may be other places its used as its the only part of Geany that provides structure information.
Havn't looked at the changes but IRO your questions:
> Should I make a different PR for this? (asusming it even is desired!)
Sounds like its sensible to be part of the change.
> Also, should I or would you suggest that I also modify the manual to document the additions?
Of course.
> Should I add something about the new UI options in the language/translation files?
IIUC should happen automatically if the strings are marked for translation.
--
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/pull/2927#issuecomment-939576276
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20211010/b1bf32a1/attachment-0001.htm>
More information about the Github-comments
mailing list