Re: [Github-comments] [geany/geany] Option to write-lock the project file (#2304)