← Back to branch summary

~ubuntu-branches/ubuntu/lucid/jedit/lucid

« back to all changes in this revision

Viewing changes to jEdit/org/gjt/sp/jedit/gui/InputHandler.java

  • Committer: Bazaar Package Importer
  • Author(s): Daniel Hahler
  • Date: 2008-03-18 22:18:17 UTC
  • mfrom: (1.1.1 upstream)
  • Revision ID: james.westby@ubuntu.com-20080318221817-8pvhmkoy8nkdghy2
Tags: 4.3~pre13.dfsg-0ubuntu1
https://launchpad.net/bugs/203713
https://launchpad.net/bugs/203636
* New upstream bugfix release (LP: #203713)
* debian/control, debian/rules:
  replace icedtea-java7 references with openjdk-6 references (LP: #203636)
* Reworked (and renamed) patches:
  - 01-debian-menu-file.patch: partly applied upstream
  - 02-desktop-file-icon-file.patch: incorporate previous inline change
    (icon path)
* 03-svn-php_mode_fix_special_comment.patch: Fix regression for special
  comments ("/**/") in PHP mode; can be dropped with the next release.

Show diffs side-by-side

added added

removed removed

Lines of Context:
jEdit/org/gjt/sp/jedit/gui/InputHandler.java
45
45
 * to the implementations of this class to do so.
46
46
 *
47
47
 * @author Slava Pestov
48
 
 * @version $Id: InputHandler.java 10775 2007-09-30 20:52:43Z kpouer $
 
48
 * @version $Id: InputHandler.java 11402 2007-12-12 19:41:18Z kpouer $
49
49
 * @see org.gjt.sp.jedit.gui.DefaultInputHandler
50
50
 */
51
 
public abstract class InputHandler extends AbstractInputHandler
 
51
public abstract class InputHandler extends AbstractInputHandler<EditAction>
52
52
{
53
53
        //{{{ InputHandler constructor
54
54
        /**
61
61
                this.view = view;
62
62
        } //}}}
63
63
 
64
 
        //{{{ addKeyBinding() method
65
 
        /**
66
 
         * Adds a key binding to this input handler.
67
 
         * @param keyBinding The key binding (the format of this is
68
 
         * input-handler specific)
69
 
         * @param action The action
70
 
         */
71
 
        public abstract void addKeyBinding(String keyBinding, String action);
72
 
        //}}}
73
 
 
74
 
        //{{{ addKeyBinding() method
75
 
        /**
76
 
         * Adds a key binding to this input handler.
77
 
         * @param keyBinding The key binding (the format of this is
78
 
         * input-handler specific)
79
 
         * @param action The action
80
 
         */
81
 
        public abstract void addKeyBinding(String keyBinding, EditAction action);
82
 
        //}}}
83
 
 
84
 
        //{{{ removeKeyBinding() method
85
 
        /**
86
 
         * Removes a key binding from this input handler.
87
 
         * @param keyBinding The key binding
88
 
         */
89
 
        public abstract void removeKeyBinding(String keyBinding);
90
 
        //}}}
91
 
 
92
 
        //{{{ removeAllKeyBindings() method
93
 
        /**
94
 
         * Removes all key bindings from this input handler.
95
 
         */
96
 
        public abstract void removeAllKeyBindings();
97
 
        //}}}
98
 
 
99
64
        //{{{ handleKey() method
100
65
        /**
101
66
         * Handles a keystroke.
484
449
        //{{{ Instance variables
485
450
        protected final View view;
486
451
 
487
 
        protected EditAction lastAction;
488
 
 
489
452
        //}}}
490
453
 
491
454
        //{{{ userInput() method