[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