A recent X server/graphics driver change seems to have made the problem
go away, and it's sufficiently useful for tracking Git working trees
that I want it back.
However, don't bother turning it on if we' trying to start up
quickly: it triggers an autoload and slows stuff down.
(trap
(tooltip-mode 0)
(tool-bar-mode 0))
-;;(trap (global-auto-revert-mode t))
+(trap (or mdw-fast-startup (global-auto-revert-mode t)))
(setq psgml-html-build-new-buffer nil)
(setq cltl2-root-url (mdw-config 'cltl-url))