private void checkDisplayMenu() {
    if(!latexMethod) {
      if(renderer != null) {
        final String name = renderer.getClass().getName();
        if(displayMenu.containsKey(name)) {
          displayMenu.get(name).setSelected(true);
        }
      }
      if(strategy != null) {
        final String name = strategy.getClass().getName();
        if(displayMenu.containsKey(name)) {
          displayMenu.get(name).setSelected(true);
        }
      }
    } else {
      final String ri = NodeRenderer.class.getName();
      if(displayMenu.containsKey(ri)) {
        displayMenu.get(ri).setSelected(true);
      }
      final String si = TreeStrategy.class.getName();
      if(displayMenu.containsKey(si)) {
        displayMenu.get(si).setSelected(true);
      }
    }
    final String name = LaTeXDisplay.class.getName();
    if(displayMenu.containsKey(name)) {
      displayMenu.get(name).setSelected(latexMethod);
    }
  }