Clean up tab focusing.
Draft of a bsim highlighter.
Added handling of height changes to editor and demo.
Creating new editor tabs/files now works.
Added a way to close tabs and checking for dirty editors.
Made the Save toolbar button do something.
Fix unwanted side effects of tooltips.