Re: [Github-comments] [geany/geany] Editor Widget Update not triggering (#807)
Noticed today when modifying a document (C++ < 2000 lines) that hadn't been used for a while: 1. type return to get a new line 2. blank line is created and previous next line is moved down but the rest of the screen does not move 3. cause an update, eg type a char or move the cursor to a different line and the rest of the display updates Only happens once per "stale" buffer, after that all additions are fast. System is not swapping or anything that should make a buffer that hasn't been shown for a while slow (AFAICT). X11 Linux Mint 18.3 GTK 3.18.9, GLib 2.48.2. -- 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/807#issuecomment-404996937
Re: [Github-comments] [geany/geany] Editor Widget Update not triggering (#807)
@LarsGit223 that kind of supports the theory of a signal being missed and the update not being completed, then when you generate a new signal from the mouse, Scintilla catches up with what it was doing. -- 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/807#issuecomment-404966297
Re: [Github-comments] [geany/geany] Editor Widget Update not triggering (#807)
Today I noticed the problem again on windows. The tabs weren't reacting but the window title changed when I clicked on a tab. I accidentally touched the mouse wheel and suddenly the tabs were reacting and everything was normal after that. Not sure if that helps. -- 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/807#issuecomment-404897281
Re: [Github-comments] [geany/geany] Editor Widget Update not triggering (#807)
Damn, still happening, Geany git at 095d88958, GTK 3.18.9, GLib 2.48.1, but only after running all day? -- 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/807#issuecomment-246108727
Re: [Github-comments] [geany/geany] Editor Widget Update not triggering (#807)
Have updated to GTK 3.18.9 and it hasn't occurred so far, figners crossed it was GTK. --- 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/807#issuecomment-236400455