Re: [Github-comments] [geany/geany] improvement: cut down the space wasted in sidebar (#1711)