PageRenderTime 94ms CodeModel.GetById 92ms app.highlight 1ms RepoModel.GetById 0ms app.codeStats 0ms

/jEdit/tags/jedit-4-0-pre3/org/gjt/sp/jedit/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>