スタンプメーカーの矢印
| スタンプ箱で，項目を選択した状態でスタンプメーカーを起動しても，左矢印が有効にならない。client/StanpBoxPlugin.java の editors.show の後に，スタンプ選択の変更をでっち上げて，EditorsSetPanel の valueChange に処理がわたるようにして対応。 |
javax.swing.tree.TreePath tp = tree.getSelectionPath(); tree.clearSelection(); tree.setSelectionPath(tp);
« スタンプ箱のルートノード | トップページ | 転帰日を消せるようにする »
「OpenDolphin」カテゴリの記事
- java 1.8.0_162 で変換中の記号フォントが小さくなる(2018.02.06)
- インスペクタのデザイン変更(2017.09.25)
- NetBeans から IntelliJ に移行(2018.02.03)
- High Sierra に移行(2017.10.20)
- 編集中カルテの自動一時保存機能(2018.01.25)
