Another week, another release. Here is a list of notable changes:
- Replaced the preference for small terminal titles with a new three state preference (Normal, Small, None) that allows terminal titles to be hidden
- Added an initial version of a feature that double clicking a splitter re-distributes terminals evenly
- Fixed problem with not starting on GTK 3.14 based systems like RHEL 7.2
- Added new command line switches to maximize and full screen window
- Modified shortcuts to better conform to Gnome HIG, note that default sidebar shortcut is now F12 instead of ctrl-s which moves to save session