TODO

   1 Things to do, eventually:
   2
   3  - I know nothing about designing GUIs, and I'm afraid it shows.  Redesign.
   4
   5  - Jack-keyboard does strange things to input focus and keyboard event
   6    handling.  Verify that it does not cause any problems.
   7
   8  - Make the code cleaner.  Get rid of all these global variables etc.
   9
  10  - Tooltips.
  11
  12  - Fix language (english) errors in documentation and web page.
  13
  14  - Add user-configurable key binding.
  15