--nd オプションをオンにすると、Graphene が正常に動作しない

[nikosai]

背景

現在、LaViTからGrapheneを実行すると、LaViTのSLIM OptionsでオンになっているオプションをGrapheneにそのまま引き継いで実行するようになっている（参考P-R）。

問題

SLIM Optionsに --nd や -p など、標準出力の形式を変えるオプションを指定した状態でGrapheneを実行すると、正しく動作しない（左ペインに何も表示されない）。

解決案

StateViewer SLIM Options のように、「Graphene SLIM Options」という欄を新たに作って、そこの値を使うようにする？