|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.grogra.pf.ui.Workbench
public abstract class Workbench
Nested Class Summary | |
---|---|
static interface |
Workbench.Loader
|
Field Summary | |
---|---|
static java.lang.String |
CURRENT_DIRECTORY
|
static java.util.logging.Level |
GUI_INFO
|
static java.lang.String |
INITIAL_LAYOUT
|
static java.lang.String[] |
LAST_FILES
|
static java.util.logging.Level |
SOFT_GUI_INFO
|
static java.lang.String |
START_AS_DEMO
|
static java.util.Timer |
TIMER
|
Constructor Summary | |
---|---|
Workbench(Registry registry,
JobManager jm,
UIToolkit ui,
Map initParams)
|
Method Summary | |
---|---|
void |
addStatusChangeListener(java.beans.PropertyChangeListener l)
|
static void |
addToLastUsed(Workbench wb,
java.io.File file)
|
void |
beginStatus(java.lang.Object owner)
|
FileChooserResult |
chooseFile(java.lang.String title,
javax.swing.filechooser.FileFilter[] filters,
int type,
boolean mustExist,
javax.swing.filechooser.FileFilter selectedFilter)
|
FileChooserResult |
chooseFileToOpen(java.lang.String title,
IOFlavor acceptableFlavor)
|
FileChooserResult |
chooseFileToSave(java.lang.String title,
IOFlavor flavor,
FileTypeItem.Filter selectedfilter)
|
void |
clearProgress(java.lang.Object owner)
|
void |
clearStatusAndProgress(java.lang.Object owner)
|
static void |
copy(Item item,
java.lang.Object info,
Context ctx)
|
static Workbench |
current()
|
static Workbench |
current(ThreadContext tc)
|
static void |
cut(Item item,
java.lang.Object info,
Context ctx)
|
static void |
delete(Item item,
java.lang.Object info,
Context ctx)
|
void |
export(FilterSource src)
|
void |
export(FilterSource src,
MimeType mt,
java.io.File file)
|
static Workbench |
get(RegistryContext ctx)
|
ChartPanel |
getChartPanel(java.lang.String chart,
Map params)
|
java.lang.Object |
getComponent()
Determines the GUI component of this GUI context. |
java.io.File |
getFile()
|
JobManager |
getJobManager()
|
java.util.logging.Logger |
getLogger()
|
abstract Workbench |
getMainWorkbench()
|
java.lang.String |
getName()
|
Panel |
getPanel()
Determines the panel of this GUI context. |
java.lang.Object |
getProperty(java.lang.String key)
|
Registry |
getRegistry()
Returns the Registry which is linked with this instance. |
protected void |
getState(Item state)
|
UIToolkit |
getToolkit()
|
Workbench |
getWorkbench()
Determines the workbench of this GUI context. |
void |
ignoreIfModified()
|
protected void |
initializeWindow(Window w)
|
static boolean |
isCopyEnabled(Context ctx)
|
static boolean |
isCutEnabled(Context ctx)
|
static boolean |
isDeleteEnabled(Context ctx)
|
boolean |
isHeadless()
|
boolean |
isModified()
|
boolean |
isWorkbenchThread()
|
static void |
log(java.lang.Throwable thrown)
|
void |
logGUIInfo(java.lang.String msg)
|
void |
logGUIInfo(java.lang.String msg,
java.lang.Throwable thrown)
|
void |
logInfo(java.lang.String msg)
|
void |
logInfo(java.lang.String msg,
java.lang.Throwable thrown)
|
void |
lostOwnership(java.awt.datatransfer.Clipboard c,
java.awt.datatransfer.Transferable t)
|
abstract Workbench |
open(FilterSource fs,
Map initParams)
|
static void |
open(Item item,
java.lang.Object info,
Context ctx)
|
static void |
openAsDemo(Item item,
java.lang.Object info,
Context ctx)
|
static void |
openRecent(Item item,
java.lang.Object info,
Context ctx)
|
static void |
paste(Item item,
java.lang.Object info,
Context ctx)
|
java.lang.Object |
readObject(FileChooserResult src,
IOFlavor flavor)
|
java.lang.Object |
readObject(FilterSource src,
IOFlavor flavor)
|
static void |
refreshJEdit(java.lang.String fileName)
Refreshes JEdit for the file fielName. |
static void |
refreshJEdit(Workbench wb,
java.lang.String fileName)
Refreshes JEdit for the file fielName. |
static void |
refreshLastUsed(Registry r,
Workbench mwb)
|
void |
removeStatusChangeListener(java.beans.PropertyChangeListener l)
|
void |
runAsCurrent(java.lang.Runnable r)
|
boolean |
save(boolean allowSaveAs)
|
static void |
save(Item item,
java.lang.Object info,
Context ctx)
|
boolean |
saveAs()
|
static void |
saveAs(Item item,
java.lang.Object info,
Context ctx)
|
void |
select(Node[] nodes)
|
static void |
setCurrent(Workbench w)
|
void |
setFile(java.io.File file,
MimeType mimeType)
|
void |
setIndeterminateProgress(java.lang.Object owner)
|
void |
setModified()
|
protected void |
setModified(boolean modified)
|
void |
setName(java.lang.String name)
|
void |
setProgress(java.lang.Object owner,
float progress)
|
void |
setProperty(java.lang.String key,
java.lang.Object value)
|
void |
setStatus(java.lang.Object owner,
java.lang.String text)
|
void |
setStatus(java.lang.Object owner,
java.lang.String text,
float progress)
|
void |
setStatusClearProgress(java.lang.Object owner,
java.lang.String text)
|
void |
showAboutAppDialog(PluginDescriptor plugin)
|
void |
showAboutPluginDialog(PluginDescriptor plugin)
|
boolean |
showConfigurationDialog(ConfigurationSet config)
|
boolean |
showConfigurationDialog(Selection properties)
|
void |
showViewerPanel(java.lang.String viewerId,
java.lang.String systemId,
Map params)
|
void |
showViewerPanel(java.lang.String viewerId,
java.net.URL url,
Map params)
|
void |
undo()
Undo the last action. |
static void |
undo(Item item,
java.lang.Object info,
Context ctx)
Undo the last derivation step. |
protected void |
updateName()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface de.grogra.pf.ui.Context |
---|
getWindow |
Field Detail |
---|
public static final java.lang.String CURRENT_DIRECTORY
public static final java.util.logging.Level GUI_INFO
public static final java.lang.String INITIAL_LAYOUT
public static final java.lang.String[] LAST_FILES
public static final java.util.logging.Level SOFT_GUI_INFO
public static final java.lang.String START_AS_DEMO
public static final java.util.Timer TIMER
Constructor Detail |
---|
public Workbench(Registry registry, JobManager jm, UIToolkit ui, Map initParams)
Method Detail |
---|
public void addStatusChangeListener(java.beans.PropertyChangeListener l)
public static void addToLastUsed(Workbench wb, java.io.File file)
public void beginStatus(java.lang.Object owner)
public FileChooserResult chooseFile(java.lang.String title, javax.swing.filechooser.FileFilter[] filters, int type, boolean mustExist, javax.swing.filechooser.FileFilter selectedFilter)
public FileChooserResult chooseFileToOpen(java.lang.String title, IOFlavor acceptableFlavor)
public FileChooserResult chooseFileToSave(java.lang.String title, IOFlavor flavor, FileTypeItem.Filter selectedfilter)
title
- flavor
- selectedfilter
- - the selected file filter type
public void clearProgress(java.lang.Object owner)
public void clearStatusAndProgress(java.lang.Object owner)
public static void copy(Item item, java.lang.Object info, Context ctx)
public static Workbench current()
public static Workbench current(ThreadContext tc)
public static void cut(Item item, java.lang.Object info, Context ctx)
public static void delete(Item item, java.lang.Object info, Context ctx)
public void export(FilterSource src)
public void export(FilterSource src, MimeType mt, java.io.File file)
public static Workbench get(RegistryContext ctx)
public ChartPanel getChartPanel(java.lang.String chart, Map params)
public final java.lang.Object getComponent()
Context
getComponent
in interface Context
public java.io.File getFile()
public final JobManager getJobManager()
public final java.util.logging.Logger getLogger()
public abstract Workbench getMainWorkbench()
public java.lang.String getName()
public final Panel getPanel()
Context
getPanel
in interface Context
public java.lang.Object getProperty(java.lang.String key)
public final Registry getRegistry()
RegistryContext
Registry
which is linked with this instance.
getRegistry
in interface RegistryContext
protected void getState(Item state)
public final UIToolkit getToolkit()
public final Workbench getWorkbench()
Context
getWorkbench
in interface Context
public void ignoreIfModified()
protected void initializeWindow(Window w)
public static boolean isCopyEnabled(Context ctx)
public static boolean isCutEnabled(Context ctx)
public static boolean isDeleteEnabled(Context ctx)
public boolean isHeadless()
public final boolean isModified()
public boolean isWorkbenchThread()
public static void log(java.lang.Throwable thrown)
public void logGUIInfo(java.lang.String msg)
public void logGUIInfo(java.lang.String msg, java.lang.Throwable thrown)
public void logInfo(java.lang.String msg)
public void logInfo(java.lang.String msg, java.lang.Throwable thrown)
public void lostOwnership(java.awt.datatransfer.Clipboard c, java.awt.datatransfer.Transferable t)
lostOwnership
in interface java.awt.datatransfer.ClipboardOwner
public abstract Workbench open(FilterSource fs, Map initParams)
public static void open(Item item, java.lang.Object info, Context ctx)
public static void openAsDemo(Item item, java.lang.Object info, Context ctx)
public static void openRecent(Item item, java.lang.Object info, Context ctx)
public static void paste(Item item, java.lang.Object info, Context ctx)
public java.lang.Object readObject(FileChooserResult src, IOFlavor flavor)
public java.lang.Object readObject(FilterSource src, IOFlavor flavor)
public static void refreshJEdit(java.lang.String fileName)
fileName,
- including suffix, e.g. "rgg", but without file system identifier ("pfs" is assumed)public static void refreshJEdit(Workbench wb, java.lang.String fileName)
the
- current workbenchfileName,
- including suffix, e.g. "rgg", but without file system identifier ("pfs" is assumed)public static void refreshLastUsed(Registry r, Workbench mwb)
public void removeStatusChangeListener(java.beans.PropertyChangeListener l)
public void runAsCurrent(java.lang.Runnable r)
public boolean save(boolean allowSaveAs)
public static void save(Item item, java.lang.Object info, Context ctx)
public boolean saveAs()
public static void saveAs(Item item, java.lang.Object info, Context ctx)
public void select(Node[] nodes)
public static void setCurrent(Workbench w)
public void setFile(java.io.File file, MimeType mimeType)
public void setIndeterminateProgress(java.lang.Object owner)
public final void setModified()
protected void setModified(boolean modified)
public void setName(java.lang.String name)
public void setProgress(java.lang.Object owner, float progress)
public void setProperty(java.lang.String key, java.lang.Object value)
public void setStatus(java.lang.Object owner, java.lang.String text)
public void setStatus(java.lang.Object owner, java.lang.String text, float progress)
public void setStatusClearProgress(java.lang.Object owner, java.lang.String text)
public void showAboutAppDialog(PluginDescriptor plugin)
public void showAboutPluginDialog(PluginDescriptor plugin)
public boolean showConfigurationDialog(ConfigurationSet config)
public boolean showConfigurationDialog(Selection properties)
public void showViewerPanel(java.lang.String viewerId, java.lang.String systemId, Map params)
public void showViewerPanel(java.lang.String viewerId, java.net.URL url, Map params)
public void undo()
public static void undo(Item item, java.lang.Object info, Context ctx)
protected void updateName()
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |