PageRenderTime 44ms CodeModel.GetById 21ms RepoModel.GetById 0ms app.codeStats 0ms

/jEdit/tags/jedit-4-0-pre3/org/gjt/sp/jedit/tips/tip57.html

#
HTML | 5 lines | 5 code | 0 blank | 0 comment | 0 complexity | 4b252884d4e67645d155b25ef11d9ebd MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
  1. <html><body>
  2. When sorting a set of text strings (for example, a file listing) jEdit
  3. treats numbers specially, so for example "My file 10" will be placed after
  4. "My file 2".
  5. </body></html>