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