Re: [Github-comments] [geany/geany] Feature: switch between filetypes quickly (#1415)