lmntal / lavit

LMNtal IDE

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

nikosai opened this issue · comments

背景

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

問題

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

解決案

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