Re: [Github-comments] [geany/geany] Add ability to scroll over document tabs (PR #3134)