Kristian Knarvik 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

..

profile

Profile switching and cleanup

2018-02-02 22:02:57 +01:00

server

Profile switching and cleanup

2018-02-02 22:02:57 +01:00

userinterface

Profile switching and cleanup

2018-02-02 22:02:57 +01:00

Main.java

Profile switching and cleanup

2018-02-02 22:02:57 +01:00