public class BrowserManager
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
TITLE |
IHierarchyListener |
VIEW_LISTENER |
Constructor and Description |
---|
BrowserManager() |
Modifier and Type | Method and Description |
---|---|
static BrowserManager |
getDefault() |
EditorManager |
getEditorManager() |
JavaBuildOptions |
getJavaBuildOptions() |
UserPreferencesAdapter |
getPreferencesAdapter() |
javax.swing.JFrame |
getRootFrame() |
void |
init(java.lang.String[] configFilesArgs,
boolean visible) |
void |
openFile(java.lang.String filePath) |
void |
resetEditor() |
void |
resetEditorFrame() |
void |
saveAll() |
void |
setEditorStatusText(java.lang.String text) |
void |
setStatusInformation(java.lang.String text) |
public static final java.lang.String TITLE
public final IHierarchyListener VIEW_LISTENER
public static BrowserManager getDefault()
public void init(java.lang.String[] configFilesArgs, boolean visible)
public void resetEditorFrame()
public void resetEditor()
public void setStatusInformation(java.lang.String text)
public void setEditorStatusText(java.lang.String text)
public void saveAll()
public javax.swing.JFrame getRootFrame()
public void openFile(java.lang.String filePath)
public EditorManager getEditorManager()
public UserPreferencesAdapter getPreferencesAdapter()
public JavaBuildOptions getJavaBuildOptions()