Separate Tab from Side Pane

 From:  RIL
10310.5 In reply to 10310.4 
> Options > General > "UI size". Move the slider a little to the left and all the UI will shrink down.

Perfect! Moreover, if first shrinking until enough panels show, then one can increase again and they stay expanded.

Thanks!

// RIL