source: tags/0.12.0/j/doc/themes.html

Last change on this file was 2, checked in by piso, 22 years ago

Initial checkin.

File size: 1.0 KB
Line 
1<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
2
3<html>
4
5<head>
6<title>J User's Guide - Themes</title>
7<LINK REL="stylesheet" HREF="j.css" TYPE="text/css">
8</head>
9
10<body>
11
12<a href="contents.html">Top</a>
13
14<hr>
15
16<h1>Themes</h1>
17
18<hr>
19
20<p>
21Themes are a way to gather together the properties that control the appearance
22of the editor.
23<p>
24The distribution comes with a themes directory which contains several themes. You can
25specify the theme to use by setting the <a href="preferences.html#theme">theme</a>
26property in your <a href="preferences.html">preferences</a> file:
27<pre>
28    theme=Anokha
29</pre>
30The specified theme file is loaded as an additional preferences file after
31~/.j/prefs is loaded.
32<p>
33You can use the <a href="preferences.html#themePath">themePath</a> property
34to specify a list of directories that will be searched (in the specified order)
35for theme files when the full path of the theme file is not given. For example:
36<pre>
37    themePath=/home/peter:/home/peter/j/themes:/usr/local/share/j/themes
38</pre>
39
40</body>
41</html>
Note: See TracBrowser for help on using the repository browser.