search

unplugged / unplugged-controls

7 stars 9 forks source link

Workspace screen status bar font size #419

Closed sives closed 10 years ago

sives commented 10 years ago

The font size in the status bar area (just below the top header bar) seems to be slightly bigger than the font size of the icons beneath. It should be the same.