Re: [Github-comments] [geany/geany] Restart the shell if VTE restart is requested (#2116)