Re: [Github-comments] [geany/geany] Win10: Mouse pointer not scaled to desktop (#1571)