Open supermihi opened 9 years ago
Tooltips should be formatted (title bold, etc.). Also, it should be possible to create a tooltip without a RootedTreeModel
Tooltips should be formatted (title bold, etc.). Also, it should be possible to create a tooltip without a RootedTreeModel