#27 Make menu shortcuts platform independent

[RalphSBln]

And another minor cosmetic: Not all OSes use ctrl as the modifier key for commands/menu shortcuts. E.g., Mac OS uses the command (Apple) key.

A more platform independent way for defining the key shortcuts for the menu items would be:

1. get the platform independent modifier: int keyModifier = Toolkit.getDefaultToolkit().getMenuShortcutKeyMask();
2. replace all explicit uses of InputEvent.CTRL_DOWN_MASK with keyModifier

(AFAICT they are all defined in ObservationManager.java)

[Dirk Lehmann]

Thanks!

I'll include the fix in the next release.

Best

Dirk