I agree. It's possible to scroll using the mouse wheel, but the scroll bar is more or less useless.
Think there is a need to set an explicit (greater) height for that TextView area (code in GtkLanguageSelector.py).
I agree. It's possible to scroll using the mouse wheel, but the scroll bar is more or less useless.
Think there is a need to set an explicit (greater) height for that TextView area (code in GtkLanguageSele ctor.py) .