[Github-comments] [geany/geany] editor: Add auto-indent in mult-iline comments (#2082)
elextr
notifications at xxxxx
Thu Feb 7 23:14:18 UTC 2019
@danpla @codebrainz totally agree with both of you, special comment handling is language specific and shouldn't be in Geany core, but it is, and has been for ages, so unless "somebody"[1] wants to make a pull request removing it to a plugin[2] then this is just a change to existing functionality.
And since its a change to existing functionality, which already has a setting in prefs, @danpla has just suggested adding a sub-setting to that existing setting. Although that prefs page is busy, there is space for another line (at least on my font size). So it seems a reasonable solution.
@danpla havn't actually looked at your code
[1] "somebody" in quotes is an olde time convention in Geany meaning "somebody, not necessarily you, but definitely won't be me", blame @eht16 :grin:
[2] an alternative would of course be to make the in-core functionality language agnostic by using the existing and perhaps additional comment settings in filetype files, but "somebody" has to do it
--
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/2082#issuecomment-461627581
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190207/00d81fdb/attachment.html>
More information about the Github-comments
mailing list