public class ChangeOccurrenceTableRowHeight extends AbstractWandoraTool implements WandoraTool
| Modifier and Type | Field and Description |
|---|---|
private Options |
localOptions |
private int |
rowHeight |
| Constructor and Description |
|---|
ChangeOccurrenceTableRowHeight(int newRowHeight)
Creates a new instance of ChangeOccurrenceTableRowHeight
|
ChangeOccurrenceTableRowHeight(int newRowHeight,
Options options) |
| Modifier and Type | Method and Description |
|---|---|
void |
execute(Wandora wandora,
Context context)
Runs the tool.
|
java.lang.String |
getDescription()
AdminToolManager views tool descriptions while user browses available
tools and build user customizable GUI elements such as Tools menu.
|
java.lang.String |
getName()
Tools name represent the tool in UI unless the tool has been given
explicitly another GUI name.
|
addUndoMarker, addUndoMarker, allowMultipleInvocations, clearAllThreads, clearThreads, clearThreads, clearToolLock, clearToolLock, clearToolLocks, configure, execute, execute, forceStop, forceStop, getContext, getCurrentLogger, getDefaultLogger, getHistory, getIcon, getLastLogger, getState, getThreads, getThreads, getToolMenuItem, getToolMenuItem, getTopicName, getType, hlog, initialize, interruptAllThreads, interruptThreads, interruptThreads, isConfigurable, isRunning, isRunning, lockLog, log, log, log, log, requiresRefresh, run, runInOwnThread, setContext, setDefaultLogger, setLogTitle, setProgress, setProgressMax, setState, setToolLogger, singleLog, singleLog, singleLog, solveContextTopicMap, solveNameForTopicMap, writeOptionsclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitconfigure, execute, execute, getContext, getIcon, getToolMenuItem, getType, hlog, initialize, isConfigurable, isRunning, log, log, log, log, requiresRefresh, setContext, setToolLogger, writeOptionsforceStop, getHistory, getState, lockLog, setLogTitle, setProgress, setProgressMax, setStateprivate int rowHeight
private Options localOptions
public ChangeOccurrenceTableRowHeight(int newRowHeight)
public ChangeOccurrenceTableRowHeight(int newRowHeight,
Options options)
public java.lang.String getName()
AbstractWandoraToolgetName in interface WandoraToolgetName in class AbstractWandoraToolpublic java.lang.String getDescription()
AbstractWandoraToolgetDescription in interface WandoraToolgetDescription in class AbstractWandoraToolpublic void execute(Wandora wandora, Context context) throws TopicMapException
WandoraToolexecute in interface WandoraToolTopicMapExceptionCopyright 2004-2015 Wandora Team