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, writeOptions
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
configure, execute, execute, getContext, getIcon, getToolMenuItem, getType, hlog, initialize, isConfigurable, isRunning, log, log, log, log, requiresRefresh, setContext, setToolLogger, writeOptions
forceStop, getHistory, getState, lockLog, setLogTitle, setProgress, setProgressMax, setState
private int rowHeight
private Options localOptions
public ChangeOccurrenceTableRowHeight(int newRowHeight)
public ChangeOccurrenceTableRowHeight(int newRowHeight, Options options)
public java.lang.String getName()
AbstractWandoraTool
getName
in interface WandoraTool
getName
in class AbstractWandoraTool
public java.lang.String getDescription()
AbstractWandoraTool
getDescription
in interface WandoraTool
getDescription
in class AbstractWandoraTool
public void execute(Wandora wandora, Context context) throws TopicMapException
WandoraTool
execute
in interface WandoraTool
TopicMapException
Copyright 2004-2015 Wandora Team