The source project of this merge request has been removed.
Remove ctrl+f1 shorcut support from Keyboard Shorcuts page
Due to "Ctrl+F1 accel for GtkApplication help-overlay conflicts with GtkWidget binding to toggle tooltip" (gtk#626 (closed)), remove ctrl+f1 shorcut support from Keyboard Shorcuts page