tip58.html | searchcode

/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>
2The file system browser can mark different types of files with different
3colors to make file listings easier to read. 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>