45e2c81d05
Better code and comments
2018-02-22 11:49:12 +01:00
920c3de0d4
Fixes profiles file creation
...
Adds some tests
2018-02-17 22:04:06 +01:00
5d471881fb
Optimization for jar compiling
...
Some things won't work without compiling anymore (like creating a profiles file).
Downloading jars is finished.
2018-02-13 12:21:39 +01:00
b662afe0c6
Cleanup and bugfixes
...
Reformats long lines.
Restructures methods.
Removes some unnecessary methods.
Adds more and better comments.
Checks for illegal characters in collection and profile names.
Profiles.txt saves the profile selected on save.
Adds some methods to avoid code repetition.
Changes the name of at least one method.
I probably forgot to mention something.
2018-02-05 00:00:51 +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
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
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