tree cefe72e54fec9f91ff83fbf5f1e4f23811e5409a
parent 447e01b04e5bc9fd7f01fe36c4c952324b338aa3
author Jack Jansen <jack.jansen@cwi.nl> 873725196 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 873725196 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%408759

Preferences is a general module to get (and set) preferences in
resource files with various inheritence rules, parsers, etc.

pythonprefs uses this to create a single uniform interface to all
relevant python preferences.