現在の位置
backup プラグインを使用中
- List of Backups
- View the diff current.
- View the source.
- View the backup.
- Go to 対応済み.
- 1 (2009-11-24 (Tue) 08:09:35)
- 2 (2009-11-24 (Tue) 09:14:59)
- 3 (2009-11-24 (Tue) 09:14:59)
- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
* 対応済みのご意見・バグ報告 [#cae1a90a] - [2008-07-23] 実行マシン報告・ご意見・バグ等ありましたらよろしくお願いいたします。(ayano) - [2008-07-23] とりあえずノートパソコン(XP)で動作を確認しました。起動方法はLMNtalEditor.jarをダブルクリックでもできるようです。ショートカットをデスクトップとかにおくと幸せかも。(iwasawa) -- [2008-07-24] テストありがとう!確かにダブルクリックでも起動はすると思うんだけど、SLIM(+STATE VIEWER)の実行ってできる?(ayano) ---[2008-07-25] SLIMも実行できたけど、もしかしたらLMNtalEditorのSLIMじゃなくてPATH通ってるフォルダのSLIMかもしれない。env.txtで切り替えられるようになるといいかも。(iwasawa) ---[2008-08-01] 対応しました。0.7.1以降で解決しています。(ayano) - [2008-09-02] 「名前を付けて保存」でファイルを保存すると、必ずSJISで保存されます。「上書き保存」の場合で試したところ、すべて「File Encoding」の設定どおりに保存されました。(kobayashi) -- [2008-09-02] 対応しました。コード変更を行いましたので0.7.4以降では直っている予定です。(ayano) - [2008-09-03] SVIEWERの「DRAW INTERVAL TIME」を「1」に変更してエディタを立ち上げなおすと、設定が正しく読み込まれません。他の値の場合は問題なく読み込まれました。(kobayashi) -- [2008-09-03] 対応しました。0.7.4以降で解決しています。(ayano) - [2008-09-02] "Editor"タブ内で、Tabキーを押したときのインデントの長さを設定できたらいいな~。もしや既に出来るとか?今は一回押すごとに半角10文字分ものインデントが付くのですが、自分なんかには贅沢すぎます。2or4文字くらいの長さで十分でございます。(seiji) -- [2008-09-03] 上のコメントに関連して。Tabは文字数でなく、一定の長さの空白を取ってるだけっぽいです。自分の環境だと「MSゴシック」「FontSize:20」で7文字強くらいのインデントになります。(kobayashi) --- [2008-09-25] 対応しました。バージョン0.8.0以降では短い幅になる予定です。(ayano) - [2008-08-26] 設定を変えた時、変更ボタンを押さなくても実行時に自動で変更してくれるとありがたいです。変更ボタン押し忘れで設定が変わっていなくて、同じ設定で実行し続けることが多々あったので… (kobayashi) -- [2008-09-26] 対応しました。バージョン0.8.0以降ではボタンクリックなしでも反映されるようになっています。(ayano) - [2008-09-09] Syntax Check をワンボタンでやる機能をいつか実装すると思うのですが、できればSViewerなんかのボタンとは遠い位置のボタンにしていただきたいです。ファンクションキーだったらF10~F12辺り。(kobayashi) -- [2008-09-26] 対応しました。バージョン0.8.0以降ではSLIMのチェックという意味合いで(Ctrl+F4)で実行できるようにしました。(ayano) - [2008-09-09] SVIEWERへの要望です。(kobayashi) -- SVIEWERに描画されたグラフを消す機能。 -- 状態数が増えるとSVIERERで使うボタンがグラフと重なってしまうので、グラフの中心位置を多少、上にしてほしい。 -- SVIEWER上のドラッグで出来る遷移の色付け機能が、1クリックしたときにできると嬉しいです。実装上無理なようなら、この要望は消してください。 --- [2008-09-26] すべて対応しました。バージョン0.8.0以降ではSVIERERの機能が増え、コントロールは別のパネルに移しました。(ayano) - [2008-09-06] 最新版SLIMとモデル検査機能との統合にはまだちょっと時間がかかりそうなので、最新版SLIMのバイナリも抱え込んでおいて、モデル検査/探索オプションの有無によってどちらのバイナリを起動するかを切り替えるという方法もあるかもしれません。(ueda) -- [2008-10-18] 最新版SLIMとモデル検査機能がマージされたので、そちらの方をLMNtalEditorに組み込みました。 - [2009-10-24] LMNtal java処理系は動くけど、check機能が動いてなさそう。"Frailed to write Translated File. Cannot run program "javac": CreateProcess error=2, ?w??????t?@?" (iwasawa) -- [2008-11-11] 0.9以降check機能を廃止しました。後にSLIMボタンを押したときに自動的にチェックする機能にする予定です。(ayano) - [2008-10-04] あんまりやる人いないと思うけど、エディタ部の最後の行でコメントアウトすると、色が変わらないような・・・。(seiji) -- [2008-11-19] 修正しました。0.9.2以降で解決しています。(ayano) - [2008-12-08] 細かいこと2。でも大事かもしれない。バックスラッシュを"\"じゃ無く、ちゃんと"\"(もちろん半角文字で)という形で表示できないだろうか??理由は長くなるので直接話します。(seiji) -- [2008-12-09] フォントを英語系に変更すると直ります!(ayano) - [2008-12-08] 細かいことなんだけど、マウスの真ん中のコロコロ(?)使ってエディタ画面をスクロールさせるとき、コロコロ(?)を少し回転させただけで一気に20行分くらいスクロールされちゃってコードを目で追うのに苦労するんだよね。eclispeとかは1コロ辺り2行くらいでスクロールされるんだけど、この辺は改善できないですか??あるいは何か意図があったとか??(seiji) -- [2008-12-09] 修正しました。0.9.3以降で解決しています。(ayano) - [2008-12-08] さらに3。デフォルトのファイル名untitled.lmnを開いたまま終了するときは、一言「このソースはuntitled.lmnに保存されているので、次回起動時に消えますよ??y/n」な感じで注意してもらえまいか。この仕組みによって泣かされたことがあるので。まぁ自分の不注意だけど。。(seiji) -- [2008-12-09] 修正しました。0.9.3以降で解決しています。(ayano) - [2008-11-14] 背景や文字、シンボル等の色付けの定義を、外部ファイルから参照出来るようにしてほしい。(envとかで「color.comment="#00FF00"」とか書くと、その色になる感じで)(kobayashi) -- [2008-12-15] 修正しました。0.9.5以降ではenv.txtで変更できます。(ayano) - [2008-12-12] systemパネルのfindを一回消した後に再起動した後も消えて欲しいです。(iwasawa) -- [2008-12-15] 修正しました。0.9.5以降で解決しています。(ayano) - [2008-12-13] LE094は Windows VistaではSLIMのインストール成功。かなり時間はかかりました。できれば同封版を標準にしたらと思ったのですが、ポータビリティが以前より低いでしょうか? (ueda) -- [2008-12-15] XPでコンパイルしたSLIMはXPでしか動かないと思ったのですが、小川君のVistaでは動いてしまいました。よってOSによってバイナリを同封するのは難しいと判断しインストール方式にしました。(ayano) - [2008-12-13] 確認ですが、最初のダイアログの質問が日本語で出てきたのですが、英語環境では英語になるのでしょうか? 標準は英語にしたらと思います。(ueda) -- [2008-12-15] LE094は一部英語にならない文章が存在します。LE095以降では初回起動直後に言語を指定し、それに従ってインストール画面の文章も英語・日本語になるようにしました。(ayano) - [2008-12-15] *.lmn.slimcode ファイルは結構うざいので、可能なら消去してほしい。のちほど何かに使えるのなら、オプションで残すか選べる方がいいのかな?(kobayashi) -- ごめん。最新版では消される仕様になっていました。 --- [2008-12-20] ご報告ありがとうございました。(ayano) -[2009-01-01] 落ち着いたらでよいのですが、LTLタブが少し短いきがしたので。(iwasawa) --[2009-01-02] 今アップされているタブでは分かりやすく改良されています。(ayano) -[2009-02-01] System画面に表示される文字列もコピー(Ctrl+C)可能にできないかな。検証結果をほかにもっていきたい。(ueda) --[2009-02-02] 選択できる文字列は基本的にCtrl+Cでコピーができるはずです(ayanoの環境ではできています)。コピーしたい文字列をマウスで選択してCtrl+Cをお願いします。(ayano) ---[2009-02-02] 再度やってみたのですが、私の環境では Ctrl+C ではコピーができました。一方、「編集」メニューから「コピー」を選んでクリックすると、エディタ画面の文字列はコピーできるのですがSystem画面の文字列はコピーできないようです。(ueda) -[2009-07-06] [[このatomic:http://www.ueda.info.waseda.ac.jp/lmntal/local/pukiwiki.php?hori%2FM1#content_1_1]](引数に1or2を指定できる)にはまだ対応していませんか?(seiji) --[2009-07-06] StateViewerなどの機能を主な目的としているため、基本的にEditorは安定しているとayanoが確認したSLIMを同封するポリシーにしています。例えば論文に書いたプログラムが全て動くかチェックしてから同封しています。SLIMの超最新版を使いたい場合は、やはりsubversionから落とすようにして下さい。また、SLIMの超最新版を様々なプログラムで実行してみて報告してくれると同封が早まるため、協力してくれると嬉しいです。(ayano)→了解です。涙(seiji) -[2009-07-09] 一応報告。1.1.0 では、私のVistaマシン上のslimインストールがうまくいかなかったのですが、1.1.2は同じマシンで成功しました。もしさらに実験が必要であれば協力します。(ueda) --[2009-07-09] ご実験ありがとうございます。なぜ1.1.0のslimがインストールできなかったか不思議ですが、最新版がインストール出来たのであれば良かったです。 -[2009-07-09] 同梱するのは安定版slimという方針であれば、公開ページのLMNtalEditor も、あまり間を置かないでバージョンを上げていきませんか?もし何か問題があったら教えて下さい。 (ueda) --[2009-07-09] slimに関しては安定版を入れているので良いのですが、Editor自体が安定しているか不安な部分があります。例えば「バージョン履歴」に書いてあるように1.1.2ではメモリ使用量の変更機能が追加されましたが、どのPCでも機能が使えているか検証が不十分です。しかし、確かに前の公開版が1.0.2なので、1.1.2にはあげておきたいと思います。 -[2009-08-06] [バグ報告] たまに、なのですが、プログラムを修正→state viewerを何度か行うことでstate viewerできなくなります(killできない状態がずっと続いてしまう…。)Javaの吐いたエラーを貼っておきます。(gocho) Exception in thread "Thread-40" java.lang.NullPointerException at lmntaleditor.stateviewer.StateNodeSet.setNodeFrom(StateNodeSet.java:525) at lmntaleditor.stateviewer.StateNodeSet.setSlimNdResult(StateNodeSet.java:60) at lmntaleditor.stateviewer.StatePanel.start(StatePanel.java:36) at lmntaleditor.editor.EditorButtonPanel$5.run(EditorButtonPanel.java:263) at java.lang.Thread.run(Thread.java:636) --[2009-09-28] エラー出力はStateViewerで読み込まないようにしました。