| java.lang.Object org.gjt.sp.jedit.Abbrevs
Abbrevs | public class Abbrevs (Code) | | Abbreviation manager.
author: Slava Pestov version: $Id: Abbrevs.java 5337 2006-01-23 23:04:25Z ezust $ |
Inner Class :static class Expansion | |
addGlobalAbbrev | public static void addGlobalAbbrev(String abbrev, String expansion)(Code) | | Adds an abbreviation to the global abbreviation list.
Parameters: abbrev - The abbreviation Parameters: expansion - The expansion since: jEdit 3.1pre1 |
addModeAbbrev | public static void addModeAbbrev(String mode, String abbrev, String expansion)(Code) | | Adds a mode-specific abbrev.
Parameters: mode - The edit mode Parameters: abbrev - The abbrev Parameters: expansion - The expansion since: jEdit 3.1pre1 |
expandAbbrev | public static boolean expandAbbrev(View view, boolean add)(Code) | | Expands the abbrev at the caret position in the specified
view.
Parameters: view - The view Parameters: add - If true and abbrev not found, will ask user ifit should be added since: jEdit 2.6pre4 |
getExpandOnInput | public static boolean getExpandOnInput()(Code) | | Returns if abbreviations should be expanded after the
user finishes typing a word.
|
getGlobalAbbrevs | public static Hashtable getGlobalAbbrevs()(Code) | | Returns the global abbreviation set.
since: jEdit 2.3pre1 |
getModeAbbrevs | public static Hashtable getModeAbbrevs()(Code) | | Returns the mode-specific abbreviation set.
since: jEdit 2.3pre1 |
setExpandOnInput | public static void setExpandOnInput(boolean expandOnInput)(Code) | | Sets if abbreviations should be expanded after the
user finishes typing a word.
Parameters: expandOnInput - If true, typing a non-alphanumeric characterwill automatically attempt to expand the current abbrev |
setGlobalAbbrevs | public static void setGlobalAbbrevs(Hashtable globalAbbrevs)(Code) | | Sets the global abbreviation set.
Parameters: globalAbbrevs - The new global abbrev set since: jEdit 2.3pre1 |
setModeAbbrevs | public static void setModeAbbrevs(Hashtable modes)(Code) | | Sets the mode-specific abbreviation set.
Parameters: modes - The new mode abbrev set since: jEdit 2.3pre1 |
|
|