Both are pretty dated, I'd suggest you try to upgrade Mint so you'll get also a newer Geany version.

Does this happen only on the scrollbar of the editing widget or also on other widgets like the symbol list or plugin manager dialog?

Sure why not.

         if (gtk_adjustment_get_upper(adjustmenth) != horizEndPreferred ||
                        gtk_adjustment_get_page_size(adjustmenth) != 
...

This is Scintilla code and so it might be not caused by Geany itself.
Though the behavior could also be triggered by a combination of the code above and a specific GTK theme.

I suggest the following things to ideally solve or at least narrow down the problem:


Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: <geany/geany/issues/4188/2571306031@github.com>