Package org.gjt.sp.jedit.menu

Examples of org.gjt.sp.jedit.menu.EnhancedMenu

300
301
302
303
304
305
306
307
308
309
    if(jEdit.getProperty(menuProperty) != null
      || jEdit.getProperty(codeProperty) != null)
    {
      String pluginName = jEdit.getProperty("plugin." +
        getClassName() + ".name");
      return new EnhancedMenu(menuProperty,pluginName);
    }

    return null;
  } //}}}
View Full Code Here
335
336
337
338
339
340
341
342
343
344
345
    String menuProperty = "plugin." + getClassName() + ".browser-menu";
    if(jEdit.getProperty(menuProperty) != null)
    {
      String pluginName = jEdit.getProperty("plugin." +
        getClassName() + ".name");
      return new EnhancedMenu(menuProperty,pluginName,
        VFSBrowser.getActionContext());
    }

    return null;
  } //}}}
View Full Code Here
TOP

Related Classes of org.gjt.sp.jedit.menu.EnhancedMenu

  • org.gjt.sp.jedit.EditPlugin
  • java.util.StringTokenizer
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.