Generic tweaks, some fixes.
Keyboard shortcuts widget now displays shortcuts properly sorted.
Some polishment of simulator actions.