Eclipse Graphiti エディターのパレットを削除しようとしています。
org.eclipse.graphiti.ui.editor.DiagramBehavior
createPaletteBehaviour()
オーバーライドする必要がありますが、 を返すとnull
、エディターがクラッシュします。
ダイアグラムの動作でもこれを試しましたが、実際には折りたたんで削除したくありません。
@Override
protected DefaultPaletteBehavior createPaletteBehaviour() {
return new DefaultPaletteBehavior(this) {
@Override
public FlyoutPreferences getPalettePreferences() {
FlyoutPreferences palettePreferences = super.getPalettePreferences();
palettePreferences.setPaletteState(FlyoutPaletteComposite.STATE_COLLAPSED);
return palettePreferences;
}
};
}
また、設定を操作する代わりに、何らかの API を使用することをお勧めします。