Package edu.umd.cs.findbugs.gui2
Class GUISaveState
- java.lang.Object
-
- edu.umd.cs.findbugs.gui2.GUISaveState
-
public class GUISaveState extends java.lang.Object
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
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
addCustomPlugin(java.net.URL u)
void
addRecentFile(java.io.File f)
This should be the method used to add a file for the recent menu.void
fileNotFound(java.io.File f)
Call to remove a file from the list.void
fileReused(java.io.File f)
This should be the method called to add a reused file for the recent menu.java.util.Collection<java.net.URI>
getCustomPlugins()
java.util.List<java.lang.String>
getDisabledPlugins()
byte[]
getDockingLayout()
java.util.List<java.lang.String>
getEnabledPlugins()
int
getExtendedWindowState()
float
getFontSize()
java.awt.Rectangle
getFrameBounds()
static GUISaveState
getInstance()
int
getPackagePrefixSegments()
java.util.LinkedList<java.lang.String>
getPreviousComments()
java.util.ArrayList<java.io.File>
getRecentFiles()
Returns the list of recent files.int
getSplitMain()
int
getSplitSummary()
int
getSplitTop()
int
getSplitTreeComments()
java.io.File
getStarterDirectoryForLoadBugs()
The file to start the loading of Bugs from.int
getTabSize()
static void
loadInstance()
boolean
removeCustomPlugin(java.net.URL pluginId)
void
save()
void
setDockingLayout(byte[] dockingLayout)
void
setExtendedWindowState(int extendedWindowState)
void
setFontSize(float fontSize)
void
setFrameBounds(java.awt.Rectangle frameBounds)
void
setPackagePrefixSegments(int packagePrefixSegments)
void
setPluginEnabled(java.lang.String url)
void
setPluginsEnabled(java.util.List<java.lang.String> enabledPlugins, java.util.List<java.lang.String> disabledPlugins)
void
setPreviousComments(java.util.LinkedList<java.lang.String> previousComments)
void
setSplitMain(int splitMain)
void
setSplitSummary(int splitSummary)
void
setSplitTop(int splitTop)
void
setSplitTreeComments(int splitTreeComments)
void
setStarterDirectoryForLoadBugs(java.io.File f)
void
setTabSize(int tabSize)
-
-
-
Method Detail
-
getInstance
public static GUISaveState 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
public void fileReused(java.io.File f)
This should be the method called to add a reused file for the recent menu.
-
addRecentFile
public void addRecentFile(java.io.File f)
This should be the method used to add a file for the recent menu.- Parameters:
f
-
-
getRecentFiles
public java.util.ArrayList<java.io.File> getRecentFiles()
Returns the list of recent files.- Returns:
- the list of recent files
-
fileNotFound
public void fileNotFound(java.io.File f)
Call to remove a file from the list.- Parameters:
f
-
-
getStarterDirectoryForLoadBugs
public java.io.File getStarterDirectoryForLoadBugs()
The file to start the loading of Bugs from.- Returns:
- Returns the starterDirectoryForLoadBugs.
-
setStarterDirectoryForLoadBugs
public void setStarterDirectoryForLoadBugs(java.io.File f)
- Parameters:
f
- The starterDirectoryForLoadBugs to set.
-
save
public void save()
-
getPreviousComments
public java.util.LinkedList<java.lang.String> getPreviousComments()
- Returns:
- Returns the previousComments.
-
setPreviousComments
public void setPreviousComments(java.util.LinkedList<java.lang.String> previousComments)
- Parameters:
previousComments
- The previousComments to set.
-
getFrameBounds
public java.awt.Rectangle getFrameBounds()
- Returns:
- Returns the frame bounds Rectangle.
-
setFrameBounds
public void setFrameBounds(java.awt.Rectangle frameBounds)
- 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
public void setPluginsEnabled(java.util.List<java.lang.String> enabledPlugins, java.util.List<java.lang.String> disabledPlugins)
-
setPluginEnabled
public void setPluginEnabled(java.lang.String url)
-
getEnabledPlugins
public java.util.List<java.lang.String> getEnabledPlugins()
-
getCustomPlugins
public java.util.Collection<java.net.URI> getCustomPlugins()
-
addCustomPlugin
public boolean addCustomPlugin(java.net.URL u)
-
getDisabledPlugins
public java.util.List<java.lang.String> getDisabledPlugins()
-
removeCustomPlugin
public boolean removeCustomPlugin(java.net.URL pluginId)
-
-