|
|
27024d7b8f
|
Fixes a bug where Custom would always cause an exception on save
|
2018-02-03 13:02:37 +01:00 |
|
|
|
fd65b46ea2
|
Version string is saved in each server, rather than each profile
To prevent one server from being updated, and making the other servers
think they are updated, this was necessary.
|
2018-02-03 11:00:45 +01:00 |
|
|
|
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 |
|
|
|
3a1e61c754
|
Playerlist and Serverlist combos are properly updated. It is possible to send commands to servers.
|
2018-02-01 13:16:25 +01:00 |
|
|
|
a59c5f904a
|
Cleanup
|
2018-01-31 23:20:33 +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 |
|
|
|
89f0962c2d
|
Added the title and icon again
|
2018-01-30 17:14:29 +01:00 |
|
|
|
559e7bb38a
|
Server version combo is updated on server type change
|
2018-01-30 13:39:09 +01:00 |
|
|
|
1c00ae9bab
|
More gui buttons work in theory
|
2018-01-30 00:44:03 +01:00 |
|
|
|
0267961eff
|
Servers can now be removed
|
2018-01-29 20:14:17 +01:00 |
|
|
|
b0979c6e0f
|
More gui added, and profiles half implemented
|
2018-01-28 19:06:50 +01:00 |
|
