Re: [Github-comments] [geany/geany] option to change size of white space (#2856)