21:50:55maxzSCROLL-EXTENT seems to be broken in the current Git version. It worked fine in older versions but has no effect in the current one.
22:03:20maxzActually it seems to be more complicated. It works as long as the pane is in the foreground but as soon as something causes a redraw (e. g. changing to another tab in the layout or opening a dialog in front of the pane), it ceases to work whereas it kept working before.
23:22:52maxzCommit 87b045ea2e64a35b999a089ab0580fa1d2b10be1 broke it.
0:07:13maxzIgnore the "more complicated" sentence above. SCROLL-EXTENT does not work anymore. Period. You just fixed parts of the scrollbar which did not work before which made it seems like the workaround I had in place for that part still worked.
0:52:42maxzI created issue #1305 with an example program.