Re: [Github-comments] [geany/geany-plugins] Geanyprj's Project dock is extremely small (#744)