169170171172173174175176177178179
if (args.getPort() != null) { portText.setText(args.getPort()); } if (args.shouldStartServerAtLaunch()) { startServerBtn.toggleButton(); } if (args.memoryModeEnabled()) { saveMsgTextField.get().setEnabled(false);