Re: [Github-comments] [geany/geany] Is there an easy way to increase line spacing? (#1592)