The source project of this merge request has been removed.
Remove ctrl+f1 shortcut from Keyboard Shortcuts page
Remove ctrl+F1 shortcut due to "Ctrl+F1 accel for GtkApplication help-overlay conflicts with GtkWidget binding to toggle tooltip" (gtk#626 (closed))
Edited by Ghost User