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

2017-08-12 Thread elextr
@b4n Scintilla just uses [GDK cursors](https://github.com/geany/geany/blob/adc22a453b546b05f507fd6522ea13f3a92943c2/scintilla/gtk/PlatGTK.cxx#L1127), so its probably affected by GTK2's lack of hidpi support. -- You are receiving this because you are subscribed to this thread. Reply to this

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

2017-08-12 Thread Colomban Wendling
Interesting, that suggests there's some weird thing happening with Scintilla's use of cursors then maybe. @gigadude could you give us the debug info (Geany/GTK/GLib version, etc.), available via *Help → Debug Messages*? Also, are all your monitors scaled the same? If not, does the same happen

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

2017-08-11 Thread gigadude
Yup. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/1571#issuecomment-321946817

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

2017-08-11 Thread Colomban Wendling
> Are the pointers in the text edit area custom? Does the problem only happen on the main editor area, and not e.g. in the entry fields or the Scribble panel? -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub:

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

2017-08-10 Thread elextr
Geany itself does not set cursors, I think they are set by the GTK theme, which is why I suggested the .gtkrc file but I don't know if it can set them there. Geany will build and run with GTK3 on Linux and (I think) on OSX but it is not built with GTK3 on windows because nobody has contributed

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

2017-08-10 Thread gigadude
Looks like support landed in 3.x? https://bugzilla.gnome.org/show_bug.cgi?id=768081 Are the pointers in the text edit area custom? Could geany be patched to just use the system default pointers when hiDPI is detected? -- You are receiving this because you are subscribed to this thread. Reply to

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

2017-08-03 Thread elextr
Geany on windows uses the GTK2 GUI library which I don't think is hidpi aware. You could try setting it in your .gtkrc file maybe. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: