chiark / gitweb /
Shorten the names of the tabs a bit so they fit better on MacOS.
authordaid303 <daid303@gmail.com>
Fri, 1 Mar 2013 18:34:27 +0000 (19:34 +0100)
committerdaid303 <daid303@gmail.com>
Fri, 1 Mar 2013 18:34:27 +0000 (19:34 +0100)
commite5a674691260ae8099c7bb21fe5b95a5074c286a
treeb4f6f58d3a528d030c25b7055bdaddaddfe58cc9
parentd4dfe1cc3551b5abb4c94be60ef25b0467eb4dba
Shorten the names of the tabs a bit so they fit better on MacOS.
Cura/gui/mainWindow.py