PageRenderTime 81ms CodeModel.GetById 78ms app.highlight 0ms RepoModel.GetById 2ms app.codeStats 0ms

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

#
HTML | 5 lines | 5 code | 0 blank | 0 comment | 0 complexity | 4b252884d4e67645d155b25ef11d9ebd MD5 | raw file
1<html><body>
2When sorting a set of text strings (for example, a file listing) jEdit
3treats numbers specially, so for example "My file 10" will be placed after
4"My file 2".
5</body></html>