PageRenderTime 41ms CodeModel.GetById 20ms RepoModel.GetById 0ms app.codeStats 0ms

/jEdit/tags/jedit-4-1-pre5/doc/tips/tip58.html

#
HTML | 6 lines | 6 code | 0 blank | 0 comment | 0 complexity | a0f3503e3edcc7bcab9767d87de00a38 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 them stand out more. 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>