comparison PROGRAMMING_NOTES @ 15445:154b8d8643a2

GNOME has a 'document font' setting that we should use when running on GNOME. This does the gconftool-2 spawning trick to get it
author Sean Egan <seanegan@gmail.com>
date Sun, 28 Jan 2007 21:40:07 +0000
parents da88e2cd5c53
children 83ec0b408926
comparison
equal deleted inserted replaced
15444:8721df7d419f 15445:154b8d8643a2