Factor out the attributed string code and set the theme font
update
notification for changing navigator font
Allow the setting of the font in the navigator panels via the theme.
A method for comparing colours.
Bug fix: we store in calibrated colour space, so convert using that.
cosmetics
Change row height when font changes.
These layout calls are unnecessary and not 10.6.8 compatible.
This call doesn't work on 10.6.8 and doesn't seem to do much anyway.
clean up string before posting in console.
Minor alignment changes.
remove some debug statements
the default navigator font should be the control font.
bug fix: the navigator font button should be enabled/disabled according to the built-in state of the theme
updated themes
minor adjustments