PageRenderTime 74ms CodeModel.GetById 72ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

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