|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use MiniServerPreferences | |
|---|---|
| jmri.web.miniserver | MiniServer is a small web server, the smallest scaffold possible for running simple servlets. |
| Uses of MiniServerPreferences in jmri.web.miniserver |
|---|
| Methods in jmri.web.miniserver that return MiniServerPreferences | |
|---|---|
static MiniServerPreferences |
MiniServerManager.miniServerPreferencesInstance()
|
| Methods in jmri.web.miniserver with parameters of type MiniServerPreferences | |
|---|---|
void |
MiniServerPreferences.apply(MiniServerPreferences prefs)
|
boolean |
MiniServerPreferences.compareValuesDifferent(MiniServerPreferences prefs)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||