mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

jvergara
03.23.2009 05d3ff594de61a9da5695d043e5664f7e898c7ce
opends/src/guitools/org/opends/guitools/controlpanel/ui/BrowseEntriesPanel.java
@@ -1275,7 +1275,7 @@
      }
      menus[0].setSelected(true);
      // Add the view menus
      // Add the referral and sort data menus
      menu.add(new JSeparator());
      final JCheckBoxMenuItem sortUserData =
        new JCheckBoxMenuItem(INFO_CTRL_PANEL_SORT_USER_DATA.get().toString());
@@ -1319,6 +1319,18 @@
          }
        }
      });
      // Add the refresh menu
      menu.add(new JSeparator());
      final JMenuItem refresh =
        new JMenuItem(INFO_CTRL_PANEL_REFRESH_DATA.get().toString());
      menu.add(refresh);
      refresh.addActionListener(new ActionListener()
      {
        public void actionPerformed(ActionEvent ev)
        {
          entryPane.getController().startRefresh(null);
        }
      });
      return menu;
    }