- Anonymous
Author | Committer | Branch | Timestamp | Parent |
---|---|---|---|---|
chennes | wmayer | master | 2021-01-03 22:14:43 | master 13e2f93b |
Changeset | Add Workbench name as Tab item tooltip In cases where the user's font is large or the Workbench name is long, the new, narrower sidebar may not display the entire workbench name. To address those cases, the tooltip for the element is now also set to the workbench name. Thanks to Github user @marioalexis84 for the suggestion. |
|||
mod - src/Gui/DlgPreferencesImp.cpp | Diff File |