Package org.gjt.sp.jedit.gui

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

417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
   *
   * @since jEdit 4.2pre1
   */
  public void initKeyBindings()
  {
    InputHandler inputHandler = jEdit.getInputHandler();

    Iterator iter = actions.entrySet().iterator();
    while(iter.hasNext())
    {
      Map.Entry entry = (Map.Entry)iter.next();
      String name = (String)entry.getKey();

      String shortcut1 = jEdit.getProperty(name + ".shortcut");
      if(shortcut1 != null)
        inputHandler.addKeyBinding(shortcut1,name);

      String shortcut2 = jEdit.getProperty(name + ".shortcut2");
      if(shortcut2 != null)
        inputHandler.addKeyBinding(shortcut2,name);
    }
  } //}}}
View Full Code Here
TOP

Related Classes of org.gjt.sp.jedit.gui.InputHandler

  • org.gjt.sp.jedit.ActionSet
  • org.gjt.sp.jedit.textarea.JEditTextArea
    • 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.