Re: [Github-comments] [geany/geany] [Feature request] Live delete/rename tracking (#1139)