@Override protected void onReset() { super.onReset(); Console.MODULES.getHeader().highlight(getProxy().getNameToken()); }
@Override protected void onReset() { super.onReset(); if (placeManager.getCurrentPlaceRequest().matchesNameToken(getProxy().getNameToken())) refreshServerList(); }