Added a new widget for editing keyboard shortcuts