-
- /**
- * Dynamically build the list of annotation types to show or hide.
- */
- @Override
- protected void buildShowHideAnnotationMenus()
- {
- showAnnotations.removeAll();
- hideAnnotations.removeAll();
-
- List<String> types = getAnnotationTypes(false);
- for (final String type : types)
- {
- final JMenuItem showitem = new JMenuItem(type);
- showitem.addActionListener(new java.awt.event.ActionListener()
- {
- @Override
- public void actionPerformed(ActionEvent e)
- {
- showHideAnnotation_actionPerformed(type, true);
- }
- });
- showAnnotations.add(showitem);
- final JMenuItem hideitem = new JMenuItem(type);
- hideitem.addActionListener(new java.awt.event.ActionListener()
- {
- @Override
- public void actionPerformed(ActionEvent e)
- {
- showHideAnnotation_actionPerformed(type, false);
- }
- });
- hideAnnotations.add(hideitem);
- }
- }