public class WorkbenchGui
extends java.lang.Object
| Constructor and Description |
|---|
WorkbenchGui(WorkbenchApp workbenchApp) |
| Modifier and Type | Method and Description |
|---|---|
WorkbenchConsole |
getConsole() |
LocalImageFactory |
getImageFactory() |
MapSelectionEditor |
getMapSelectionEditor() |
WorkbenchNavigator |
getNavigator() |
WorkbenchPage |
getPage() |
MainWindow |
getTranslationActivityViewerWindow() |
VfsTree |
getTree() |
MainWindow |
getWindow() |
public WorkbenchGui(WorkbenchApp workbenchApp)
public MainWindow getWindow()
public WorkbenchNavigator getNavigator()
public WorkbenchPage getPage()
public WorkbenchConsole getConsole()
public VfsTree getTree()
public MapSelectionEditor getMapSelectionEditor()
public MainWindow getTranslationActivityViewerWindow()
public LocalImageFactory getImageFactory()