スタンプメーカーの矢印
| スタンプ箱で,項目を選択した状態でスタンプメーカーを起動しても,左矢印が有効にならない。client/StanpBoxPlugin.java の editors.show の後に,スタンプ選択の変更をでっち上げて,EditorsSetPanel の valueChange に処理がわたるようにして対応。 |
javax.swing.tree.TreePath tp = tree.getSelectionPath(); tree.clearSelection(); tree.setSelectionPath(tp);
« スタンプ箱のルートノード | トップページ | 転帰日を消せるようにする »
「OpenDolphin」カテゴリの記事
- java.util.Date との決別(2026.09.20)
- orca websocket 再接続(2026.09.21)
- OpenDolphin: Java 25 / WildFly 41 への移行(2026.09.18)
- 運用18年目のまとめ(2026.02.07)
- IME on/off の切換 - その5(2026.01.05)


