Allow user overrides for shortcuts. Save the overrides with workspace data.
Try to check if the shortcuts will conflict w/ Monaco shortcuts. Monaco doesn't have a good API for replacing shortcuts unfortunately, but we can try to check it at least using the undocumented API we use to remove a few shortcuts currently
Allow user overrides for shortcuts. Save the overrides with workspace data.
Try to check if the shortcuts will conflict w/ Monaco shortcuts. Monaco doesn't have a good API for replacing shortcuts unfortunately, but we can try to check it at least using the undocumented API we use to remove a few shortcuts currently