スタンプメーカーの矢印
![]() | スタンプ箱で,項目を選択した状態でスタンプメーカーを起動しても,左矢印が有効にならない。client/StanpBoxPlugin.java の editors.show の後に,スタンプ選択の変更をでっち上げて,EditorsSetPanel の valueChange に処理がわたるようにして対応。 |
javax.swing.tree.TreePath tp = tree.getSelectionPath(); tree.clearSelection(); tree.setSelectionPath(tp);
« スタンプ箱のルートノード | トップページ | 転帰日を消せるようにする »
「OpenDolphin」カテゴリの記事
- 運用17年目のまとめ(2025.02.03)
- IME on/off の切換 - その2(2024.12.02)
- OrcaController オルコン(2024.11.28)
- OpenDolphin: java 21 / wildfly 34 への移行(2024.11.08)
- IME on/off の切り替え(2024.09.03)