tip58.html | searchcode

/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>
2The file system browser can mark different types of files with different
3colors to make them stand out more. You can edit the file types and colors
4in 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>