edu.umd.cs.findbugs.gui2
Class PropertiesDialog
public
class
PropertiesDialog
extends FBDialog
This is the properties dialog of the GUI. It allows the user to set the
size of the tabs and font size. If the user changes the font size they
will be told to restart the computer before the new size takes affect.
Author: Kristin Stephens
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.