Dont use F11 for Toggle-Line-Numbers

Merged Waqar Ahmed requested to merge work/remove-f11-shortcut into master
Edited by Waqar Ahmed

Merge request reports