Le 15/04/2015 15:27, Colomban Wendling a écrit :
[…]
BTW, I think I found a way to avoid the oversize without subclassing GtkScrolledWindow, which might even be a better fix for the original issue.
Okay, the idea was setting the style property `GtkScrollbar::min-slider-length` to something smaller than the default 21, but a bug in GTK3 makes it virtually impossible (as while the property is set, it is not taken into account the first time, meaning the popup would still be too tall. Of course we don't have the problem on GTK3, but I don't feel like submitting a patch to Scintilla which uses one hack for GTK2 and a completely different one for GTK3.
This said, the reason we need the hack is because of https://bugzilla.gnome.org/show_bug.cgi?id=712220, so if this was fixed we could one day drop the hack. But this would mean depend on a fixed version, which probably won't be acceptable before a decade or so :)
So we'll have to fix the Windows build issue in some way…