public class GUISaveState extends Object
| Modifier and Type | Method and Description |
|---|---|
boolean |
addCustomPlugin(URL u) |
void |
addRecentFile(File f)
This should be the method used to add a file for the recent menu.
|
void |
fileNotFound(File f)
Call to remove a file from the list.
|
void |
fileReused(File f)
This should be the method called to add a reused file for the recent
menu.
|
Collection<URI> |
getCustomPlugins() |
List<String> |
getDisabledPlugins() |
byte[] |
getDockingLayout() |
List<String> |
getEnabledPlugins() |
int |
getExtendedWindowState() |
float |
getFontSize() |
Rectangle |
getFrameBounds() |
static GUISaveState |
getInstance() |
int |
getPackagePrefixSegments() |
LinkedList<String> |
getPreviousComments() |
ArrayList<File> |
getRecentFiles()
Returns the list of recent files.
|
int |
getSplitMain() |
int |
getSplitSummary() |
int |
getSplitTop() |
int |
getSplitTreeComments() |
File |
getStarterDirectoryForLoadBugs()
The file to start the loading of Bugs from.
|
int |
getTabSize() |
static void |
loadInstance() |
boolean |
removeCustomPlugin(URL pluginId) |
void |
save() |
void |
setDockingLayout(byte[] dockingLayout) |
void |
setExtendedWindowState(int extendedWindowState) |
void |
setFontSize(float fontSize) |
void |
setFrameBounds(Rectangle frameBounds) |
void |
setPackagePrefixSegments(int packagePrefixSegments) |
void |
setPluginEnabled(String url) |
void |
setPluginsEnabled(List<String> enabledPlugins,
List<String> disabledPlugins) |
void |
setPreviousComments(LinkedList<String> previousComments) |
void |
setSplitMain(int splitMain) |
void |
setSplitSummary(int splitSummary) |
void |
setSplitTop(int splitTop) |
void |
setSplitTreeComments(int splitTreeComments) |
void |
setStarterDirectoryForLoadBugs(File f) |
void |
setTabSize(int tabSize) |
public static GUISaveState getInstance()
public static void loadInstance()
public int getTabSize()
public void setTabSize(int tabSize)
public int getPackagePrefixSegments()
public void setPackagePrefixSegments(int packagePrefixSegments)
public byte[] getDockingLayout()
public void setDockingLayout(byte[] dockingLayout)
public void fileReused(File f)
public void addRecentFile(File f)
f - public ArrayList<File> getRecentFiles()
public void fileNotFound(File f)
f - public File getStarterDirectoryForLoadBugs()
public void setStarterDirectoryForLoadBugs(File f)
f - The starterDirectoryForLoadBugs to set.public void save()
public LinkedList<String> getPreviousComments()
public void setPreviousComments(LinkedList<String> previousComments)
previousComments - The previousComments to set.public Rectangle getFrameBounds()
public void setFrameBounds(Rectangle frameBounds)
frameBounds - The frame bourds Rectangle to set.public int getExtendedWindowState()
public void setExtendedWindowState(int extendedWindowState)
public float getFontSize()
public void setFontSize(float fontSize)
fontSize - The fontSize to set.public int getSplitMain()
public void setSplitMain(int splitMain)
splitMain - The location of the main divider to set.public int getSplitSummary()
public void setSplitSummary(int splitSummary)
splitSummary - The location of the summar divider to set.public int getSplitTop()
public void setSplitTop(int splitTop)
splitTop - The location of the top divider to set.public int getSplitTreeComments()
public void setSplitTreeComments(int splitTreeComments)
splitTreeComments - The location of the tree-comments divider to set.public void setPluginsEnabled(List<String> enabledPlugins, List<String> disabledPlugins)
public void setPluginEnabled(String url)
public Collection<URI> getCustomPlugins()
public boolean addCustomPlugin(URL u)
public boolean removeCustomPlugin(URL pluginId)
Copyright © 2003–2015. All rights reserved.