PageRenderTime 48ms CodeModel.GetById 21ms RepoModel.GetById 0ms app.codeStats 0ms

/jEdit/tags/jedit-4-3-pre5/doc/tips/tip0.html

#
HTML | 6 lines | 6 code | 0 blank | 0 comment | 0 complexity | 89de22ca4044e5cb4e043c654a5ce589 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0 
    

  1. <html><body>Using abbreviations saves a lot of time, by letting you
    2. 

  2. enter long strings using a shorthand notation. To define an
    3. 

  3. abbreviation, enter the desired shorthand string and press <b>C+;</b>.
    4. 

  4. You will then be prompted for the expansion. Now, to enter the expansion
    5. 

  5. in the buffer, all you have to do is type the shorthand and press
    6. 

  6. <b>C+;</b> again.</body></html>
    7. 

  7.