3 ms·Great suggestion, thanks! I added (state-dependent) mouse-over tooltips for all buttons.by sharkdp 11y agoGreat suggestion, thanks! I added (state-dependent) mouse-over tooltips for all buttons.