/** * is called when window list changed somehow (add or remove). */ public void windowListChanged() { createWindowMenu(); }
/** * is called when window list changed somehow (add or remove). */ public void windowListChanged() { createWindowMenu(); }
/** * is called when window list changed somehow (add or remove). */ public void windowListChanged() { createWindowMenu(); }
/** * is called when window list changed somehow (add or remove). */ public void windowListChanged() { createWindowMenu(); }