あると良さそう 3
- ワークスペース管理:これは深刻、せめてセーブ時刻を表示してほしい。
- パレット内のサムネイルの順序の並べ替え。これも深刻。
- パレットの内容をテキストとしてダンプ
- 今見てるセルのsourceやtargetを取りたい。Resrictだけでは取れないことがある。
- 穴あきダイアグラム・テンプレートを、関数とみなして、定義した関数に今のダイアグラムを適用する。これには、変数部分を持つグラフのパターンマッチングが必要。
- クリックによる変更の理由を調べることができるといい。リアルタイムでの表示もあったほうがいいけど、なんかヒストリー的なログが欲しい。そうでないと、何が起きたか困惑する。
- saved source/target をもう一度描画領域に戻す。