Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This is an enormous change which reworks preferences. Most of the inc…
…remental changes were done in a private Git server. The highlights are: - Completely redesigned preferences dialog - Fix lots of warnings. - Got rid of profiles altogether. - Define color and keyboard presets and store them in plist files. - Bookmarks now have tags instead of neted directories. - Remove the tree view and replace it with a flat table. - Bookmarks list includes a search field. - Make bookmarks changes be reflected immediately in open sessions. - Changes to the bookmark affect only that session, which is forever divorced from its founding bookmark. - A separate prefs panel is opened that hides the bookmarks table. - Bookmarks now have unique GUIDs assigned and are usually referred to by GUID instead of by pointers, which are evanescent. - When you do cmd-i, the session's bookmark is copied into a separate model and given a new guid. - Make the prefs window work differently when editing a session. - Display star graphic next to default bookmark.
- Loading branch information