com.tensegrity.gui.swt.dialog.ruleeditor
Class RuleEditorDialog
java.lang.Object
org.eclipse.swt.widgets.Dialog
com.tensegrity.gui.swt.dialog.SwtBaseDialog
com.tensegrity.gui.swt.dialog.ruleeditor.RuleEditorDialog
- All Implemented Interfaces:
- Disposable, Evaluable, java.util.EventListener, org.eclipse.swt.events.KeyListener, org.eclipse.swt.events.SelectionListener, org.eclipse.swt.internal.SWTEventListener
- public class RuleEditorDialog
- extends SwtBaseDialog
- implements org.eclipse.swt.events.SelectionListener
RuleEditorDialog for displaying and modifying rules settings.
- Version:
- $Id: RuleEditorDialog.java,v 1.7 2005/11/09 11:33:18 ArndHouben Exp $
- Author:
- Arnd Houben
|
Field Summary |
static java.lang.Object |
ALL_RULES
|
| Methods inherited from class com.tensegrity.gui.swt.dialog.SwtBaseDialog |
applyEvList, dispose, getDialog, getTextCompositeLayoutData, getUIManager, installEvList, keyPressed, keyReleased, setDefaultResourceClassAndURL, setDescriptionText, setResourceClassAndURL, setTitleText, show |
| Methods inherited from class org.eclipse.swt.widgets.Dialog |
checkSubclass, getParent, getStyle, getText, setText |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ALL_RULES
public static final java.lang.Object ALL_RULES
RuleEditorDialog
public RuleEditorDialog(org.eclipse.swt.widgets.Display dpl,
UIManager uiManager,
GraphDocument gDoc)
- Creates a new RuleEditorDialog.
- Parameters:
dpl - for referencing system fonts and colorsuiManager - used for localizationgDoc - the current document to which those rules apply
widgetSelected
public void widgetSelected(org.eclipse.swt.events.SelectionEvent e)
- Specified by:
widgetSelected in interface org.eclipse.swt.events.SelectionListener
widgetDefaultSelected
public void widgetDefaultSelected(org.eclipse.swt.events.SelectionEvent e)
- Specified by:
widgetDefaultSelected in interface org.eclipse.swt.events.SelectionListener
Copyright © 2005 Tensegrity Software GmbH. All Rights Reserved. Date of creation: 09.06.2006.