[Github-comments] Re: [geany/geany] Option to hide the fold margin but keep folding (#2927)