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 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.byte[]
getDockingLayout()
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()
void
save()
void
setDockingLayout(byte[] dockingLayout)
void
setFontSize(float fontSize)
void
setFrameBounds(java.awt.Rectangle frameBounds)
void
setPackagePrefixSegments(int packagePrefixSegments)
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
-
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)
-
getInstance
public static GUISaveState getInstance()
-
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.
-
loadInstance
public static void loadInstance()
-
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.
-
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.
-
-