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