You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
abbreviations are an alternative to aliases which are (short) words that are expanded when entered. this can be done on the space key or enter key (user selectable).
example:
if a user sets an abbreviation gp to be git push, when typing gp and then the space and/or enter key, it will expand to git push. this means the expanded form will be saved to history instead
The text was updated successfully, but these errors were encountered:
look at line 848 (seqAltDelete) which deletes a word. then you can just insert the expanded version. of course you have to check if the last word is a valid abbreviation.
abbreviations are an alternative to aliases which are (short) words that are expanded when entered. this can be done on the space key or enter key (user selectable).
example:
if a user sets an abbreviation
gp
to begit push
, when typinggp
and then the space and/or enter key, it will expand togit push
. this means the expanded form will be saved to history insteadThe text was updated successfully, but these errors were encountered: