Package edu.umd.cs.findbugs.gui2
Class GUISaveState
java.lang.Object
edu.umd.cs.findbugs.gui2.GUISaveState
Saves all the stuff that should be saved for each run, like recent projects,
previous comments, the current docking layout and the sort order
For project related things, look in ProjectSettings
- Author:
- Dan
-
Method Summary
Modifier and TypeMethodDescriptionboolean
void
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.byte[]
int
float
static GUISaveState
int
Returns the list of recent files.int
int
int
int
The file to start the loading of Bugs from.int
static void
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
void
setTabSize
(int tabSize)
-
Method Details
-
getInstance
-
loadInstance
public static void loadInstance() -
getTabSize
public int getTabSize() -
setTabSize
public void setTabSize(int tabSize) -
getPackagePrefixSegments
public int getPackagePrefixSegments() -
setPackagePrefixSegments
public void setPackagePrefixSegments(int packagePrefixSegments) -
getDockingLayout
public byte[] getDockingLayout() -
setDockingLayout
public void setDockingLayout(byte[] dockingLayout) -
fileReused
This should be the method called to add a reused file for the recent menu. -
addRecentFile
This should be the method used to add a file for the recent menu.- Parameters:
f
-
-
getRecentFiles
Returns the list of recent files.- Returns:
- the list of recent files
-
fileNotFound
Call to remove a file from the list.- Parameters:
f
-
-
getStarterDirectoryForLoadBugs
The file to start the loading of Bugs from.- Returns:
- Returns the starterDirectoryForLoadBugs.
-
setStarterDirectoryForLoadBugs
- Parameters:
f
- The starterDirectoryForLoadBugs to set.
-
save
public void save() -
getPreviousComments
- Returns:
- Returns the previousComments.
-
setPreviousComments
- Parameters:
previousComments
- The previousComments to set.
-
getFrameBounds
- Returns:
- Returns the frame bounds Rectangle.
-
setFrameBounds
- Parameters:
frameBounds
- The frame bourds Rectangle to set.
-
getExtendedWindowState
public int getExtendedWindowState() -
setExtendedWindowState
public void setExtendedWindowState(int extendedWindowState) -
getFontSize
public float getFontSize()- Returns:
- Returns the fontSize.
-
setFontSize
public void setFontSize(float fontSize) - Parameters:
fontSize
- The fontSize to set.
-
getSplitMain
public int getSplitMain()- Returns:
- Returns the location of the main divider.
-
setSplitMain
public void setSplitMain(int splitMain) - Parameters:
splitMain
- The location of the main divider to set.
-
getSplitSummary
public int getSplitSummary()- Returns:
- Returns the location of the summary divider.
-
setSplitSummary
public void setSplitSummary(int splitSummary) - Parameters:
splitSummary
- The location of the summar divider to set.
-
getSplitTop
public int getSplitTop()- Returns:
- Returns the location of the top divider.
-
setSplitTop
public void setSplitTop(int splitTop) - Parameters:
splitTop
- The location of the top divider to set.
-
getSplitTreeComments
public int getSplitTreeComments()- Returns:
- Returns the location of the tree-comments divider.
-
setSplitTreeComments
public void setSplitTreeComments(int splitTreeComments) - Parameters:
splitTreeComments
- The location of the tree-comments divider to set.
-
setPluginsEnabled
-
setPluginEnabled
-
getEnabledPlugins
-
getCustomPlugins
-
addCustomPlugin
-
getDisabledPlugins
-
removeCustomPlugin
-