[Github-comments] [geany/geany] Width of the editor tabs (#1861)