172173174175176177178179180181182
} private void performLoginStatusChangeActions(final User user) { StyleBindingsRegistry.get().updateStyles(); if (user == null) { logoutEvent.fire(new LoggedOutEvent()); } else { loginEvent.fire(new LoggedInEvent(user)); } }
146147148149150151152153154155156