-- fix fix_xinput_coords so it works ok without ENABLE_XINPUT_BUGFIX ?
- (with both old and new GTK+)
- (need to shift by (sx,sy), + shift between canvas->window vs canvas in 2.17)
-- color chooser button (patch tracker?)
-- option to have buttons *toggle* the tool rather than act as tool
- (ie button 2 causes button 1 to map to tool 2) [Dylan Thurston]
-** auto-hide patch from ~/prog/src/xournal-autohide/ ?
- (check for cpu usage, add flag if need be; handle BOTH edges