Bug fixes, code and documentation updates

- fixed a bug in the user interface where a modifier key would (under certain
  conditions) not release its effect even though the key had been released
- fixed a bug in the user interface where a function invoked via a modifier
  key would (under certain conditions) not complete properly