Settings

```
public class Settings
extends java.lang.Object
```
Storage class for theme settings. This was separated from the Preferences class for 1.0 so that the coloring wouldn't conflict with previous releases and to make way for future ability to customize.

Constructors
Constructor and Description
`Settings(java.io.File file)`

Methods
Modifier and Type	Method and Description
`java.lang.String`	`get(java.lang.String attribute)`
`boolean`	`getBoolean(java.lang.String attribute)`
`java.awt.Color`	`getColor(java.lang.String attribute)`
`java.lang.String`	`getDefault(java.lang.String attribute)`
`java.awt.Font`	`getFont(java.lang.String attr)`
`int`	`getInteger(java.lang.String attribute)`
`SyntaxStyle`	`getStyle(java.lang.String what)`
`void`	`load()`
`void`	`save()`
`void`	`set(java.lang.String attribute, java.lang.String value)`
`void`	`setBoolean(java.lang.String attribute, boolean value)`
`void`	`setColor(java.lang.String attr, java.awt.Color what)`
`void`	`setInteger(java.lang.String key, int value)`

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public Settings(java.io.File file)
         throws java.io.IOException

public java.lang.String get(java.lang.String attribute)

public java.lang.String getDefault(java.lang.String attribute)

public void set(java.lang.String attribute,
       java.lang.String value)

public boolean getBoolean(java.lang.String attribute)

public void setBoolean(java.lang.String attribute,
              boolean value)

public int getInteger(java.lang.String attribute)

public void setInteger(java.lang.String key,
              int value)

public java.awt.Color getColor(java.lang.String attribute)

public void setColor(java.lang.String attr,
            java.awt.Color what)

public java.awt.Font getFont(java.lang.String attr)

public SyntaxStyle getStyle(java.lang.String what)

Class Settings