better names, ID and category for Isabelle font
a workaround for setting tree viewer row height
utility method to get font metrics
a symbols view to list Isabelle symbols (grouped and searchable)
extracted editor text replacement utility methods to EditorUtil2
on double-click on a symbol, insert it into last active editor
react to font changes in preferences: refresh Symbols tree
Merge branch 'symbols-view'