[...] > > Right, makes some sense too. > > However, what to do in this case: the file is saved (clearing the red) and > immediately reloaded? Make it red again or keep it clear?
Well reload syncs file and buffer, so its cleared again. Seems right. [...] > > There is a various pref for the "keep edit history on reload" as of git > master (on by default). "Always clear undo" would set this to off. Ok, maybe it should refer to this pref instead of using different terminology, "keep edit history on unload" and "always clear undo" are not immediately obvious as equivalent things. [...] > > Too bad for those 10%, What a nice response :( > but red is universal for "be careful here" / > "something needs your attention", like traffic lights. But traffic lights have an alternative indication, the position of the light. > > I think the color can be changed though gtkrc/css, too. Not in the manual so it doesn't exist. Raised #531 for that, won't hijack this discussion further. > > Best regards. > > _______________________________________________ > Devel mailing list > Devel@lists.geany.org > https://lists.geany.org/cgi-bin/mailman/listinfo/devel _______________________________________________ Devel mailing list Devel@lists.geany.org https://lists.geany.org/cgi-bin/mailman/listinfo/devel
