Re: [Github-comments] [geany/geany] Undo should restore selection state (#1367)