PageRenderTime 42ms CodeModel.GetById 18ms RepoModel.GetById 0ms app.codeStats 0ms

/jEdit/tags/jedit-4-2-pre14/doc/tips/tip58.html

#
HTML | 6 lines | 6 code | 0 blank | 0 comment | 0 complexity | 61907879e3706a7aeae55b01b0fdf15a 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. The file system browser can mark different types of files with different
  3. colors to make file listings easier to read. You can edit the file types and colors
  4. in the <b>File System Browser</b>&gt;<b>Colors</b> pane of the
  5. <b>Utilities</b>&gt;<b>Global Options</b> dialog box.
  6. </body></html>