Examples of HistoryModel

        return new Page(new GraphModel(NFPControler.this), new GraphView());
      }
    });
    pages.put("history", new LazyInit() {
      public Page create() {
        return new Page(new HistoryModel(NFPControler.this), new HistoryView());
      }
    });    
    pages.put("confirm-overwrite", new LazyInit() {
      public Page create() {
        return new Page(new ConfirmOverwriteModel(), new Alert("${confirm}"));

      {
        view.getStatus().setMessage(null);
      }
    }; //}}}


    HistoryModel model = HistoryModel.getModel("vfs.browser.path");
    if(model.getSize() == 0)
    {
      JMenuItem menuItem = new JMenuItem(
        jEdit.getProperty("no-recent-dirs.label"));
      menuItem.setEnabled(false);
      menu.add(menuItem);
      return;
    }


    boolean sort = jEdit.getBooleanProperty("sortRecent");


    int maxItems = jEdit.getIntegerProperty("menu.spillover",20);


    Vector menuItems = new Vector();


    for(int i = 0; i < model.getSize(); i++)
    {
      String path = model.getItem(i);
      JMenuItem menuItem = new JMenuItem(MiscUtilities.getFileName(path));
      menuItem.setActionCommand(path);
      menuItem.addActionListener(actionListener);
      menuItem.addMouseListener(mouseListener);
      menuItem.setIcon(FileCellRenderer.dirIcon);


      if(sort)
        menuItems.addElement(menuItem);
      else
      {
        if(menu.getMenuComponentCount() >= maxItems
          && i != model.getSize() - 1)
        {
          JMenu newMenu = new JMenu(
            jEdit.getProperty("common.more"));
          menu.add(newMenu);
          menu = newMenu;

Examples of HistoryModel

Examples of net.sf.nfp.mini.model.HistoryModel

Examples of org.gjt.sp.jedit.gui.HistoryModel