196197198199200201202203204205206
taskBar.removeTaskButton((TaskButton) window.getData("taskButton")); } } protected void initListeners() { listener = new WindowListener() { @Override public void windowActivate(WindowEvent we) { markActive(we.getWindow()); }
190191192193194195196197198199200