[Github-comments] [geany/geany] Add a note for applying the indent settings in the project preferences (#1650)

Colomban Wendling notifications at xxxxx
Thu Dec 21 00:42:55 UTC 2017


> I would like to see this not just for indent settings but all settings which are confusingly overridden by project settings (ie. Files and Editor).

Yes, but this is slightly different as it has nothing to do with project settings.  Well, it's also affected, but it's a different problem (although similar)

> Also it would be cool to give new widgets meaningful names instead of following the trend of auto-named stuff (ie. label126).

Makes sense, although the labels are not very interesting.  But yeah I guess it could be nice indeed.

-- 
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/1650#issuecomment-353224666
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20171220/560a1642/attachment.html>


More information about the Github-comments mailing list