Re: [Geany-Devel] Please add an option to customize folding widget size