public void inspector() { GWT.log("inspector()"); if (inspectorWindow == null) { inspectorWindow = new InspectorWindow(); } inspectorWindow.show(); if (activeWindow != null) { activeWindow.updateSelectionListeners(); } }