package org.eclipse.uml2.diagram.component.preferences;
import org.eclipse.ui.IEditorPart;
import org.eclipse.ui.IEditorReference;
import org.eclipse.ui.IWorkbench;
import org.eclipse.uml2.diagram.common.preferences.ViewFiltersPreferencePage;
import org.eclipse.uml2.diagram.component.part.UMLDiagramEditor;
import org.eclipse.uml2.diagram.component.part.UMLDiagramEditorPlugin;
/**
* @generated
*/
public class DiagramViewFiltersPreferencePage extends ViewFiltersPreferencePage {
/**
* @generated
*/
private IWorkbench myWorkbench;
/**
* @generated
*/
public DiagramViewFiltersPreferencePage() {
setPreferenceStore(UMLDiagramEditorPlugin.getInstance().getPreferenceStore());
}
/**
* @generated
*/
@Override
public void init(IWorkbench workbench) {
super.init(workbench);
myWorkbench = workbench;
}
/**
* @generated
*/
public boolean performOk() {
super.performOk();
refreshDiagramEditors();
return true;
}
/**
* @generated
*/
private void refreshDiagramEditors() {
IEditorReference[] editors = myWorkbench.getActiveWorkbenchWindow().getActivePage().getEditorReferences();
for (int i = 0; i < editors.length; i++) {
IEditorPart editor = editors[i].getEditor(false);
if (editor != null && editor instanceof UMLDiagramEditor) {
((UMLDiagramEditor) editor).refresh();
}
}
}
}