|
|
94d61f2181
|
GUI is no longer shit on linux
|
2018-01-30 23:34:25 +01:00 |
|
|
|
85e4fa4fc7
|
Adds more javadoc
|
2018-01-30 19:46:14 +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 |
|
