スタンプメーカーの矢印
| スタンプ箱で，項目を選択した状態でスタンプメーカーを起動しても，左矢印が有効にならない。client/StanpBoxPlugin.java の editors.show の後に，スタンプ選択の変更をでっち上げて，EditorsSetPanel の valueChange に処理がわたるようにして対応。 |
javax.swing.tree.TreePath tp = tree.getSelectionPath(); tree.clearSelection(); tree.setSelectionPath(tp);
« スタンプ箱のルートノード | トップページ | 転帰日を消せるようにする »
「OpenDolphin」カテゴリの記事
- 13年目の運用まとめ(2021.02.04)
- スタンプの簡易表示(2020.09.04)
- Java 1.8.0_261 での apple.awt.brushMetalLook(2020.07.26)
- Undo の充実 (4) StampEditor, StampTree(2020.07.23)
- Undo の充実 (3) AtokListener(2020.07.22)
