v0.88.2-pre

• cmd-shift-j/b/r have been removed.
• cmd-j/b/r unconditionally show or hide their associated dock, respecting zoom settings.
• Control + ` and cmd-shift-e now retain zoom state.
• Fixed a bug where terminal dock tab would always be in the active state.
• Fixed a bug where terminals would not always open in the terminal panel.
• Changed the look of zoomed panels to fill more of the screen.