Hi, After several experiments, I uploaded a new various preferences editor to Geany patch tracker. If you have any questions why something is implemented one way or another, feel free to ask.
RFC: Should I add a local menu with a single "Reset" item, which resets the selected preference to it's default value? -- E-gards: Jimmy _______________________________________________ Geany mailing list [email protected] https://lists.uvena.de/cgi-bin/mailman/listinfo/geany
