|
|
75d44f6d1d
|
Profile switching and cleanup
It is now possible to switch between profiles, and the server tabs
will update.
|
2018-02-02 22:02:57 +01:00 |
|
|
|
062f57736b
|
Lets GUI and ServerConsoles update their dynamic tabs
List of server settings and server consoles are now updated on change.
This will be helpful when we load profiles.
|
2018-02-02 20:09:54 +01:00 |
|
|
|
2591f3ed05
|
It is possible to write to server consoles
|
2018-01-31 21:24:54 +01:00 |
|
|
|
30263d7753
|
Using pack() for scaling
|
2018-01-31 17:40:28 +01:00 |
|
|
|
f085cab71f
|
Cleanup
|
2018-01-30 23:38:22 +01:00 |
|
|
|
85e4fa4fc7
|
Adds more javadoc
|
2018-01-30 19:46:14 +01:00 |
|
|
|
be32c7e3a1
|
Adds the not yet implemented server consoles
|
2018-01-30 19:35:42 +01:00 |
|
