Another try at me beautifying the new area display.

Authored by mwolff on Sep 6 2013, 12:05 AM.

Description

Another try at me beautifying the new area display.

Use a toolbutton again - yay! This time in it's "flat" design though.
I really prefer it for it's reduced margin on the left and the better
placement of the arrow menu indicator at the bottom left. The push
button has the arrow directly next to the next which looks really
cramped. Since it's still a "flat" button, nothing else changes.

Details

Committed
mwolffSep 6 2013, 12:05 AM
Parents
R32:aeddbea62bd0: Hide the area display working set separator if no widget is shown.
Branches
Unknown
Tags
Unknown