Better highlight color.
Merge branch 'master' of https://github.com/naughtont/praat
Handle mouse clicks and drawing updates.
Drawing error checking.
Add flush method to GuiCocoaDrawingArea
Handle key and MOTION_NOTIFY events