public final class Top
extends org.eclipse.swt.custom.SashForm
Constructor and Description |
---|
Top(org.eclipse.swt.widgets.Shell shell,
int style)
Construct panel for denoted shell and with denoted style.
|
Top(TopWindow topWindow,
org.eclipse.swt.widgets.Composite parent,
org.eclipse.swt.widgets.Shell shell,
int style)
Construct panel for denoted parent, shell, and style.
|
Modifier and Type | Method and Description |
---|---|
boolean |
ask(java.lang.String title,
java.lang.String question)
Open dialog to ask yes/no question.
|
java.lang.String |
askText(java.lang.String title,
java.lang.String text)
Open dialog to ask question with a textual answer.
|
void |
displayFile(java.lang.String title,
java.io.File file,
boolean state)
Display file.
|
void |
enter(java.lang.String string)
Enter input denoted by string
|
org.eclipse.swt.widgets.Menu |
getCurrentMenu()
Get menu bar
|
void |
process(java.lang.String cstring)
Process command denoted by command string.
|
void |
resizeFont() |
void |
setAnswer(java.lang.String answer)
Set the answer to a currently posted question.
|
void |
setInputFocus()
Set focus to input field.
|
void |
setProof(Proof proof,
boolean enabled)
Set the current proof.
|
void |
setProofState(ProofState state)
Signal current proof state.
|
void |
setVisible(boolean visible)
Make window visible or invisible.
|
void |
signalRunning(boolean running)
Signal run status of background process.
|
void |
updateMenu()
Update menu depending on current system state.
|
getMaximizedControl, getOrientation, getSashWidth, getStyle, getWeights, setBackground, setForeground, setLayout, setMaximizedControl, setOrientation, setSashWidth, setToolTipText, setWeights
changed, drawBackground, getBackgroundMode, getChildren, getLayout, getLayoutDeferred, getTabList, isLayoutDeferred, layout, layout, layout, layout, layout, setBackgroundMode, setFocus, setLayoutDeferred, setTabList
computeTrim, getClientArea, getHorizontalBar, getScrollbarsMode, getVerticalBar
addControlListener, addDragDetectListener, addFocusListener, addGestureListener, addHelpListener, addKeyListener, addMenuDetectListener, addMouseListener, addMouseMoveListener, addMouseTrackListener, addMouseWheelListener, addPaintListener, addTouchListener, addTraverseListener, computeSize, computeSize, dragDetect, dragDetect, forceFocus, getAccessible, getBackground, getBackgroundImage, getBorderWidth, getBounds, getCursor, getDragDetect, getEnabled, getFont, getForeground, getLayoutData, getLocation, getMenu, getMonitor, getParent, getRegion, getShell, getSize, getTextDirection, getToolTipText, getTouchEnabled, getVisible, internal_dispose_GC, internal_new_GC, isEnabled, isFocusControl, isReparentable, isVisible, moveAbove, moveBelow, pack, pack, print, redraw, redraw, removeControlListener, removeDragDetectListener, removeFocusListener, removeGestureListener, removeHelpListener, removeKeyListener, removeMenuDetectListener, removeMouseListener, removeMouseMoveListener, removeMouseTrackListener, removeMouseWheelListener, removePaintListener, removeTouchListener, removeTraverseListener, requestLayout, setBackgroundImage, setBounds, setBounds, setCapture, setCursor, setDragDetect, setEnabled, setFont, setLayoutData, setLocation, setLocation, setMenu, setParent, setRedraw, setRegion, setSize, setSize, setTextDirection, setTouchEnabled, toControl, toControl, toDisplay, toDisplay, traverse, traverse, traverse, update
addDisposeListener, addListener, dispose, getData, getData, getDisplay, getListeners, isAutoDirection, isDisposed, isListening, notifyListeners, removeDisposeListener, removeListener, reskin, setData, setData, toString
public Top(org.eclipse.swt.widgets.Shell shell, int style)
shell
- the shell to which the panel is attached.style
- the style of the panel.public Top(TopWindow topWindow, org.eclipse.swt.widgets.Composite parent, org.eclipse.swt.widgets.Shell shell, int style)
topWindow
- the ProgramExplorer top windowparent
- the parent of the panel.shell
- the shell to which the panel is attached.style
- the style of the panel.public org.eclipse.swt.widgets.Menu getCurrentMenu()
public void resizeFont()
public boolean ask(java.lang.String title, java.lang.String question)
title
- the dialog titlequestion
- the question askedpublic java.lang.String askText(java.lang.String title, java.lang.String text)
title
- the dialog titletext
- the question askedpublic void setAnswer(java.lang.String answer)
answer
- the answer.public void setProof(Proof proof, boolean enabled)
proof
- the current proof.enabled
- true if the proof is to be enabled.public void setProofState(ProofState state)
state
- the current proof state.public void displayFile(java.lang.String title, java.io.File file, boolean state)
title
- the title of the display.file
- the file to be displayed.state
- true iff file displays proof state.public void signalRunning(boolean running)
running
- if we are waiting for background process to complete.public void updateMenu()
public void enter(java.lang.String string)
string
- the input to be added.public void process(java.lang.String cstring)
cstring
- the string denoting the commandpublic void setInputFocus()
public void setVisible(boolean visible)
setVisible
in class org.eclipse.swt.widgets.Control
visible
- the requested visibility status.