|
| |
|
| java.lang.Object
 org.w3c.jigadm.editors.ResourceHelper
org.w3c.jigadmin.editors.ResourceHelper
org.w3c.jigadmin.editors.FramedResourceHelper
| FramedResourceHelper | | public class FramedResourceHelper extends ResourceHelper (Code) | | The resource editor.
version:
$Revision: 1.14 $
author:
Benoît Mahé (bmahe@w3.org) |
| build | | protected void build(boolean framed)(Code) | | Build the interface
Parameters:
framed - is the resource a FramedResource or not? |
| clearChanged | | public void clearChanged()(Code) | | set the current resource to be the original resource (ie: the
hasChanged() method must return false now.
to do a "fine tuned" reset, use one of the three following method.
|
| getComponent | | public Component getComponent()(Code) | | Get the heper Component
a Component |
| getMenuBar | | public JMenuBar getMenuBar(Window parent)(Code) | | Get the dedicated MenuBar
Parameters:
parent - the Window parent. |
| getTitle | | public String getTitle()(Code) | | Get the helper title.
a String |
| hasChanged | | public boolean hasChanged()(Code) | | tells if the edited resource in the helper has changed
true if the values changed.to get more informations about what has changed, you can use the three methods below. |
| resetChanges | | public void resetChanges()(Code) | | undo the not-yet-commited changes
|
| updateAttrs | | protected void updateAttrs(RemoteResourceWrapper rrw)(Code) | | Update the AttributesHelper
Parameters:
rrw - the RemoteResourceWrapper of the RemoteReource to edit. |
|
|
|