public class MainFrame extends JFrame implements ProgressListener, StatusListener, CreoleListener, PluginListener
Modifier and Type | Class and Description |
---|---|
protected class |
MainFrame.ResourcesTreeCellEditor |
protected class |
MainFrame.ResourcesTreeCellRenderer |
protected class |
MainFrame.ResourcesTreeModel |
JFrame.AccessibleJFrame
Frame.AccessibleAWTFrame
Window.AccessibleAWTWindow, Window.Type
Container.AccessibleAWTContainer
Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy
Modifier and Type | Field and Description |
---|---|
protected gate.gui.MainFrame.CartoonMinder |
animator |
protected DefaultMutableTreeNode |
applicationsRoot |
protected JPopupMenu |
appsPopup
Popup used for right click actions on the Applications node.
|
protected DefaultMutableTreeNode |
datastoresRoot |
protected JPopupMenu |
dssPopup
Popup used for right click actions on the Datastores node.
|
protected static XJFileChooser |
fileChooser |
protected JProgressBar |
globalProgressBar |
protected HelpFrame |
helpFrame |
protected static String[] |
ICON_EXTENSIONS
Extensions for icon files to be tried in this order.
|
protected DefaultMutableTreeNode |
languageResourcesRoot |
protected JSplitPane |
leftSplit |
protected static org.apache.log4j.Logger |
log |
protected LogArea |
logArea |
protected TabHighlighter |
logHighlighter |
protected JScrollPane |
lowerScroll |
protected JPopupMenu |
lrsPopup
Popup used for right click actions on the LRs node.
|
protected JSplitPane |
mainSplit |
protected XJTabbedPane |
mainTabbedPane |
protected JMenuBar |
menuBar |
protected NewResourceDialog |
newResourceDialog |
protected OptionsDialog |
optionsDialog |
protected PluginUpdateManager |
pluginManager |
protected DefaultMutableTreeNode |
processingResourcesRoot |
protected JProgressBar |
progressBar |
protected JPopupMenu |
prsPopup
Popup used for right click actions on the PRs node.
|
protected JTree |
resourcesTree |
protected DefaultTreeModel |
resourcesTreeModel |
protected DefaultMutableTreeNode |
resourcesTreeRoot |
protected JScrollPane |
resourcesTreeScroll |
protected Splash |
splash |
protected JLabel |
statusBar |
protected JToolBar |
toolbar |
protected JCheckBoxMenuItem |
verboseModeItem |
accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled
CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
Modifier and Type | Method and Description |
---|---|
protected DataStore |
createSearchableDataStore()
Method is used in NewDSAction
|
protected DataStore |
createSerialDataStore()
Method is used in NewDSAction
|
void |
datastoreClosed(CreoleEvent e)
Called when a
DataStore has been closed |
void |
datastoreCreated(CreoleEvent e)
Called when a
DataStore has been created |
void |
datastoreOpened(CreoleEvent e)
Called when a
DataStore has been opened |
protected Handle |
findHandleForResource(Resource res)
Locates the handle for a given resource.
|
static XJFileChooser |
getFileChooser()
Get the file chooser.
|
static Collection<Component> |
getGuiRoots() |
static Icon |
getIcon(String baseName) |
static MainFrame |
getInstance() |
static MainFrame |
getInstance(GraphicsConfiguration gc) |
PrintStream |
getOriginalErr()
Gets the original system error output stream, which was later
redirected to the messages pane.
|
PrintStream |
getOriginalOut()
Gets the original system output stream, which was later redirected
to the messages pane.
|
protected void |
initGuiComponents() |
protected void |
initListeners() |
protected void |
initLocalData() |
protected void |
initMacListeners()
Set up the handlers to support the Macintosh Application menu.
|
static void |
lockGUI(String message)
This method will lock all input to the gui by means of a modal
dialog.
|
protected DataStore |
openDocServiceDataStore()
Method is used in ....OpenDSAction
|
protected DataStore |
openSearchableDataStore()
Method is used in OpenDSAction
|
protected DataStore |
openSerialDataStore()
Method is used in OpenDSAction
|
void |
pluginLoaded(URL url) |
void |
pluginUnloaded(URL url) |
void |
processFinished()
Called when the process is finished.
|
protected void |
processWindowEvent(WindowEvent e)
Overridden so we can exit when window is closed
|
void |
progressChanged(int i)
Called when the progress has changed
|
void |
resourceLoaded(CreoleEvent e)
Called when a new
Resource has been loaded into the system |
void |
resourceRenamed(Resource resource,
String oldName,
String newName)
Called when the creole register has renamed a resource.1
|
void |
resourceUnloaded(CreoleEvent e)
Called when a
Resource has been removed from the system |
protected void |
select(Handle handle) |
Handle |
select(Resource res)
Selects a resource if loaded in the system and not invisible.
|
void |
setTitle(String title)
Override to avoid Protege to change Frame title
|
void |
setTitleChangable(boolean isChangable) |
void |
showHelpFrame(String urlString,
String resourceName) |
void |
statusChanged(String text)
Calleed when there a new status message.
|
static void |
unlockGUI() |
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler, update
addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setBackground, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setOpacity, setResizable, setShape, setState, setUndecorated
addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBackground, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOpacity, getOwnedWindows, getOwner, getOwnerlessWindows, getShape, getToolkit, getType, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isAutoRequestFocus, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isOpaque, isShowing, isValidateRoot, pack, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setAutoRequestFocus, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocation, setLocation, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setType, setVisible, show, toBack, toFront
add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, transferFocusDownCycle, validate, validateTree
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resize, resize, revalidate, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getFont, postEvent
protected static final org.apache.log4j.Logger log
protected JSplitPane mainSplit
protected JSplitPane leftSplit
protected JProgressBar progressBar
protected JProgressBar globalProgressBar
protected XJTabbedPane mainTabbedPane
protected JScrollPane lowerScroll
protected JPopupMenu appsPopup
protected JPopupMenu dssPopup
protected JPopupMenu lrsPopup
protected JPopupMenu prsPopup
protected JCheckBoxMenuItem verboseModeItem
protected JTree resourcesTree
protected JScrollPane resourcesTreeScroll
protected DefaultTreeModel resourcesTreeModel
protected DefaultMutableTreeNode resourcesTreeRoot
protected DefaultMutableTreeNode applicationsRoot
protected DefaultMutableTreeNode languageResourcesRoot
protected DefaultMutableTreeNode processingResourcesRoot
protected DefaultMutableTreeNode datastoresRoot
protected PluginUpdateManager pluginManager
protected static XJFileChooser fileChooser
protected OptionsDialog optionsDialog
protected gate.gui.MainFrame.CartoonMinder animator
protected TabHighlighter logHighlighter
protected NewResourceDialog newResourceDialog
protected static final String[] ICON_EXTENSIONS
public static MainFrame getInstance()
public static MainFrame getInstance(GraphicsConfiguration gc)
public static XJFileChooser getFileChooser()
public PrintStream getOriginalOut()
PrintStream
value.public PrintStream getOriginalErr()
PrintStream
value.protected Handle findHandleForResource(Resource res)
res
- the resource for which the handle is sought.Handle
for the resource, if it it was found.public Handle select(Resource res)
res
- the resource to be selected.Handle
for the resource, null if not found.protected void initLocalData()
protected void initGuiComponents()
protected void initListeners()
protected void initMacListeners()
public void progressChanged(int i)
ProgressListener
progressChanged
in interface ProgressListener
public void processFinished()
processFinished
in interface ProgressListener
public void statusChanged(String text)
StatusListener
statusChanged
in interface StatusListener
public void resourceLoaded(CreoleEvent e)
CreoleListener
Resource
has been loaded into the systemresourceLoaded
in interface CreoleListener
public void resourceUnloaded(CreoleEvent e)
CreoleListener
Resource
has been removed from the systemresourceUnloaded
in interface CreoleListener
public void datastoreOpened(CreoleEvent e)
DataStore
has been openeddatastoreOpened
in interface CreoleListener
public void datastoreCreated(CreoleEvent e)
DataStore
has been createddatastoreCreated
in interface CreoleListener
public void datastoreClosed(CreoleEvent e)
DataStore
has been closeddatastoreClosed
in interface CreoleListener
public void resourceRenamed(Resource resource, String oldName, String newName)
CreoleListener
resourceRenamed
in interface CreoleListener
public void pluginLoaded(URL url)
pluginLoaded
in interface PluginListener
public void pluginUnloaded(URL url)
pluginUnloaded
in interface PluginListener
protected void processWindowEvent(WindowEvent e)
processWindowEvent
in class JFrame
public static Collection<Component> getGuiRoots()
public static void lockGUI(String message)
message
- the message to be displayed while the GUI is lockedpublic static void unlockGUI()
public void setTitleChangable(boolean isChangable)
protected DataStore createSerialDataStore()
protected DataStore openSerialDataStore()
protected DataStore openDocServiceDataStore()
protected DataStore createSearchableDataStore()
protected DataStore openSearchableDataStore()
public void showHelpFrame(String urlString, String resourceName)