Re: [Github-comments] [geany/geany] [wip]add 'folding margin width setting' (#2140)