/* Set up intrinsic listeners for dynamically generated GUI bits. */\r
private void addServiceListeners()\r
{\r
-\r
- final AlignFrame thisFrame = this;\r
final java.beans.PropertyChangeListener thisListener;\r
// Do this once to get current state\r
- thisFrame.BuildWebServiceMenu();\r
+ BuildWebServiceMenu();\r
Desktop.discoverer.addPropertyChangeListener(\r
thisListener = new java.beans.PropertyChangeListener()\r
{\r
if (evt.getPropertyName().equals("services"))\r
{\r
// System.out.println("Rebuilding web service menu");\r
- thisFrame.BuildWebServiceMenu();\r
+ BuildWebServiceMenu();\r
}\r
}\r
});\r
{\r
// System.out.println("deregistering discoverer listener");\r
Desktop.discoverer.removePropertyChangeListener(thisListener);\r
+ closeMenuItem_actionPerformed(null);\r
}\r
;\r
});\r
{\r
try\r
{\r
+ PaintRefresher.components.remove(viewport.alignment);\r
this.setClosed(true);\r
}\r
catch (Exception ex)\r