sgrogan wrote: ↑Tue Mar 13, 2018 11:34 pm
IMHO:
+1 to @wandererfan, consistency breads intuitiveness.
+1 +1 to @yorik, you should not have to search for the important stuff.
Yes, making these buttons not scroll shouldn't be too hard, it's probably a matter of placing them in another widget and re-routing the signals. But better wait for after the release to screw fiddle with the interface..