- enableJws1Services.setSelected(oldJws1=Cache.getDefault("SHOW_JWS1_SERVICES",
- true));
- enableJws2Services.setSelected(oldJws2=Cache.getDefault("SHOW_JWS2_SERVICES",
- true));
- indexByHost.setSelected(oldIndexByHost=Cache.getDefault("WSMENU_BYHOST", true));
- indexByType.setSelected(oldIndexByType=Cache.getDefault("WSMENU_BYTYPE", true));
+ enableEnfinServices.addActionListener(updateAction);
+ enableJws1Services.setSelected(oldJws1 = Cache.getDefault(
+ "SHOW_JWS1_SERVICES", true));
+ enableJws1Services.addActionListener(updateAction);
+ enableJws2Services.setSelected(oldJws2 = Cache.getDefault(
+ "SHOW_JWS2_SERVICES", true));
+ enableJws2Services.addActionListener(updateAction);
+ indexByHost.setSelected(oldIndexByHost = Cache.getDefault(
+ "WSMENU_BYHOST", true));
+ indexByHost.addActionListener(updateAction);
+ indexByType.setSelected(oldIndexByType = Cache.getDefault(
+ "WSMENU_BYTYPE", true));
+ indexByType.addActionListener(updateAction);
+ displayWsWarning.setSelected(oldWsWarning = Cache.getDefault(
+ "SHOW_WSDISCOVERY_ERRORS", true));