« スタンプ箱のルートノード | トップページ | 転帰日を消せるようにする »

2008年5月26日 (月)

スタンプメーカーの矢印

Arrow スタンプ箱で,項目を選択した状態でスタンプメーカーを起動しても,左矢印が有効にならない。client/StanpBoxPlugin.javaeditors.show の後に,スタンプ選択の変更をでっち上げて,EditorsSetPanelvalueChange に処理がわたるようにして対応。
editorsShow(tree.getEntity()) の後に以下を追加(2カ所ある)
javax.swing.tree.TreePath tp = tree.getSelectionPath();
tree.clearSelection();
tree.setSelectionPath(tp);

« スタンプ箱のルートノード | トップページ | 転帰日を消せるようにする »

OpenDolphin」カテゴリの記事