[Github-comments] [geany/geany] [wip]add 'folding margin width setting' (#2140)

Andy Alt notifications at xxxxx
Wed Jun 26 07:46:44 UTC 2019


I did try finding the answer on my own first, btw :) For example I changed lineNumberWidth to 80, just to see what would happen. Nothing happened. To be sure I'm trying the latest changes, I'm installing to a "test" directory, using the '-i' and '-c' options, and uninstalling and re-installing after each code change.

https://github.com/geany/geany/blob/770cda40646e8ebfe6591df03356e2bcb71b875c/scintilla/src/EditView.cxx#L2282

-- 
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/2140#issuecomment-505761158
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190626/ba034295/attachment.html>


More information about the Github-comments mailing list