本文整理汇总了Java中org.eclipse.ui.views.properties.PropertySheetPage.dispose方法的典型用法代码示例。如果您正苦于以下问题:Java PropertySheetPage.dispose方法的具体用法?Java PropertySheetPage.dispose怎么用?Java PropertySheetPage.dispose使用的例子?那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类org.eclipse.ui.views.properties.PropertySheetPage
的用法示例。
在下文中一共展示了PropertySheetPage.dispose方法的3个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: dispose
import org.eclipse.ui.views.properties.PropertySheetPage; //导入方法依赖的package包/类
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
@Override
public void dispose() {
updateProblemIndication = false;
ResourcesPlugin.getWorkspace().removeResourceChangeListener(resourceChangeListener);
getSite().getPage().removePartListener(partListener);
adapterFactory.dispose();
if (getActionBarContributor().getActiveEditor() == this) {
getActionBarContributor().setActiveEditor(null);
}
for (PropertySheetPage propertySheetPage : propertySheetPages) {
propertySheetPage.dispose();
}
if (contentOutlinePage != null) {
contentOutlinePage.dispose();
}
super.dispose();
}
示例2: dispose
import org.eclipse.ui.views.properties.PropertySheetPage; //导入方法依赖的package包/类
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
@Override
public void dispose() {
updateProblemIndication = false;
ResourcesPlugin.getWorkspace().removeResourceChangeListener(resourceChangeListener);
getSite().getPage().removePartListener(partListener);
adapterFactory.dispose();
if (getActionBarContributor().getActiveEditor() == this) {
getActionBarContributor().setActiveEditor(null);
}
for (PropertySheetPage propertySheetPage : propertySheetPages) {
propertySheetPage.dispose();
}
if (contentOutlinePage != null) {
contentOutlinePage.dispose();
}
super.dispose();
}
示例3: dispose
import org.eclipse.ui.views.properties.PropertySheetPage; //导入方法依赖的package包/类
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
@Override
public void dispose ()
{
updateProblemIndication = false;
ResourcesPlugin.getWorkspace ().removeResourceChangeListener ( resourceChangeListener );
getSite ().getPage ().removePartListener ( partListener );
adapterFactory.dispose ();
if ( getActionBarContributor ().getActiveEditor () == this )
{
getActionBarContributor ().setActiveEditor ( null );
}
for ( PropertySheetPage propertySheetPage : propertySheetPages )
{
propertySheetPage.dispose ();
}
if ( contentOutlinePage != null )
{
contentOutlinePage.dispose ();
}
super.dispose ();
}