スタンプメーカーの矢印
![]() | スタンプ箱で,項目を選択した状態でスタンプメーカーを起動しても,左矢印が有効にならない。client/StanpBoxPlugin.java の editors.show の後に,スタンプ選択の変更をでっち上げて,EditorsSetPanel の valueChange に処理がわたるようにして対応。 |
javax.swing.tree.TreePath tp = tree.getSelectionPath(); tree.clearSelection(); tree.setSelectionPath(tp);
« スタンプ箱のルートノード | トップページ | 転帰日を消せるようにする »
「OpenDolphin」カテゴリの記事
- Java 17 への移行(7) - OpenDolphin client の対応 (2023.02.04)
- Java 17 への移行(6) - Hibernate 6 でやらかす(2023.02.03)
- Java 17 への移行(5) - OpenDolphin server の対応(2023.02.02)
- Java 17 への移行(4) - OpenSearch の準備 [ubuntu 編](2023.02.01)
- Java 17 への移行(3) - OpenSearch の準備 [mac 編](2023.01.31)