環境設定ウインドウの再設計

[yasunari]

macOS nativeでも話があったので、UIを中心に再設計していきましょう。環境設定の作法がとても参考になりそう。

• 最小化ボタンとズームボタンは無効にする。
• 現在表示されているペインをウインドウタイトルにする。
• アクティブなペインのツールバーボタンを選択する。なお最後に表示したペインを保持する。
• Escキーでウインドウを閉じる。
• 右下にヘルプボタンを付ける。
• つねにツールバーを表示し、かつ編集不可にする。
• ペイン切り替えのリサイズアニメーション。
• カラーテーマ（カラーテーマ機能 #105）

[doraTeX]

これは内部構造を相当に変えなくてはいけないので，Objective-Cのままやる気は起きないですね……。
優先順位としては総Swift化の後となるでしょう。