PageRenderTime 101ms CodeModel.GetById 41ms app.highlight 0ms RepoModel.GetById 40ms app.codeStats 0ms

/jEdit/tags/jedit-4-0-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>