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

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

    

  1. <html><body>
    2. 

  2. The file system browser can mark different types of files with different
    3. 

  3. colors to make them stand out more. You can edit the file types and colors
    4. 

  4. in the <b>File System Browser</b>&gt;<b>Colors</b> pane of the
    5. 

  5. <b>Utilities</b>&gt;<b>Global Options</b> dialog box.
    6. 

  6. </body></html>
    7.