PageRenderTime 18ms CodeModel.GetById 16ms app.highlight 0ms RepoModel.GetById 2ms app.codeStats 0ms

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

#
HTML | 6 lines | 6 code | 0 blank | 0 comment | 0 complexity | 89de22ca4044e5cb4e043c654a5ce589 MD5 | raw file
1<html><body>Using abbreviations saves a lot of time, by letting you
2enter long strings using a shorthand notation. To define an
3abbreviation, enter the desired shorthand string and press <b>C+;</b>.
4You will then be prompted for the expansion. Now, to enter the expansion
5in the buffer, all you have to do is type the shorthand and press
6<b>C+;</b> again.</body></html>