/jEdit/tags/jedit-4-5-pre1/doc/tips/tip58.html

# · HTML · 6 lines · 6 code · 0 blank · 0 comment · 0 complexity · 61907879e3706a7aeae55b01b0fdf15a MD5 · raw file

  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>