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

Method Summary
static PropertiesDialoggetInstance()

Method Detail

getInstance

public static PropertiesDialog getInstance()
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.