Re: [Geany-devel] [PATCH 1/3] Fix tab history switching