| Interface | Description |
|---|---|
| SettingsListener |
A general signal to reinitialize or to read the settings.
|
| Class | Description |
|---|---|
| DateFormatModel |
Todo: Document Me
|
| Document | |
| ExternalToolSettings |
User: Martin Date: 28.05.2006 Time: 09:58:37
|
| NumberFormatModel |
Todo: Document Me
|
| ProxySettings |
User: Martin Date: 03.03.2006 Time: 14:12:13
|
| RecentFilesModel |
Todo: Document Me
|
| SettingsMessages |
Todo: Document me!
Date: 07.12.2009 Time: 15:14:55
|
| SettingsUtil | |
| WorkspaceSettings |
User: Martin Date: 07.02.2006 Time: 14:14:08
|
| Enum | Description |
|---|---|
| ProxyType |
User: Martin Date: 03.03.2006 Time: 14:12:44
|