[Github-comments] [geany/geany] Close deleted files faster (#1994)