{The jprefs Preferences Manager

Introduction
The jprefs application is just a wrapper around the jstools Global Preferences panel, which lets you set preferences shared among all the jstools applications.  The supported jstools applications all have menu entries to bring up the Global Preferences panel, so jprefs is just a convenience for setting preferences when you don't have any other jstools applications already running.

The jprefs application is distributed as part of the jstools package.

This help file describes jprefs version 4.1/4.4.

Copyright and contact information is available in the jstools documentation.

Invocation
	jprefs

When you invoke jprefs, it displays the jstools Global Preferences panel.  It exits when you close the panel by clicking Save or Done.

Usage
See the documentation for the jstools Global Preferences panel.

Evolution
Feel free to report bugs (and feature requests) to me, <js@aq.org>, and I will try to deal with them.  Also, feel free to fix bugs or add features on your own and let me know how you did it.

Future Directions
* I hope to overhaul the preferences mechanism so that global preferences and application­specific preferences can be accessed from some sort of master preferences panel, and so that related preferences can be grouped more easily.  That will affect the design of jprefs.
} {{{jdoc:anchor:anchorname {3.0 4.0 12.0 13.0 17.0 18.0 20.0 21.0}} {sel {8.40 8.47}} {jdoc:xref:link {4.48 4.84 6.53 6.60 10.0 10.33 10.50 10.75 15.36 15.72 18.26 18.62}} {richtext:font:roman {2.0 3.0 4.0 4.4 4.10 4.52 4.59 4.138 4.145 4.175 4.182 4.263 4.269 4.346 4.353 6.4 6.10 6.53 6.60 8.25 8.31 10.54 10.61 12.0 13.7 15.16 15.22 15.40 15.47 17.0 18.0 18.30 18.37 20.0 21.0 21.55 21.66 23.0 24.0 24.263 24.269 25.0}} {richtext:font:bold {4.52 4.59 4.138 4.145 4.175 4.182 4.346 4.353 6.53 6.60 10.54 10.61 15.40 15.47 18.30 18.37}} {richtext:font:typewriter {4.4 4.10 4.263 4.269 6.4 6.10 8.25 8.31 13.0 13.7 15.16 15.22 21.55 21.66 24.263 24.269}} {richtext:font:heading0 {1.0 2.0}} {richtext:font:heading1 {3.0 4.0 12.0 13.0 17.0 18.0 20.0 21.0}} {richtext:font:heading2 {23.0 24.0}} {jdoc:topic:jstools {6.53 6.60}} {jdoc:link:jstools.jdoc {6.53 6.60 10.50 10.75}} {jdoc:link:panels/prefs.jdoc {4.48 4.84 15.36 15.72 18.26 18.62}} {jdoc:anchorname:Introduction {3.0 4.0}} {jdoc:anchorname:Invocation {12.0 13.0}} {jdoc:anchorname:Usage {17.0 18.0}} {jdoc:anchorname:Evolution {20.0 21.0}} {jdoc:link:jstools.jdoc#Credits_and_Copyright {10.0 10.33}}} {{abbrevstart 24.2} {del_from 19.0} {abbrevend 24.2} {insert 8.47} {del_to 19.0} {anchor 1.0} {current 12.10}}} {}