Adding shortcuts manager to preferences
Merge pull request #1639 from diegosarmentero/master

Adding shortcuts manager to preferences