stk bbaeab68e1 Better redrawing after toggling "ignore whitespace" ...

There's no need for refreshing anything; all that's needed is to re-focus the
selected list item. This way it will also work in other panels, which we are
about to add in the next commit.

2023-02-07 12:09:17 +01:00

444 B

Raw Blame History

View Raw