From 00603110458a40b1fe4bd4d51545a3e9b685e83c Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 3 Nov 2018 17:07:30 +0100
Subject: Using GTK+ PRIMARY to factorize CoqIDE keys between MacOS and others.

This concerns zooming, undoing, displaying preferences.
---
 ide/MacOS/default_accel_map | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'ide/MacOS/default_accel_map')

diff --git a/ide/MacOS/default_accel_map b/ide/MacOS/default_accel_map
index 6bcf3b438f..4093d2012b 100644
--- a/ide/MacOS/default_accel_map
+++ b/ide/MacOS/default_accel_map
@@ -47,7 +47,7 @@
 (gtk_accel_path "<Actions>/View/Display notations" "<Shift><Control>n")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic fail" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic left" "")
-(gtk_accel_path "<Actions>/Edit/Undo" "<Primary>u")
+; (gtk_accel_path "<Actions>/Edit/Undo" "<Primary>u")
 ; (gtk_accel_path "<Actions>/Templates/Template Infix" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic functional induction" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic clear" "")
@@ -219,7 +219,7 @@
 ; (gtk_accel_path "<Actions>/Templates/Template Remark" "")
 ; (gtk_accel_path "<Actions>/Templates/Template Set Undo" "")
 ; (gtk_accel_path "<Actions>/Templates/Template Inductive" "")
-(gtk_accel_path "<Actions>/Edit/Preferences" "<Primary>VoidSymbol")
+; (gtk_accel_path "<Actions>/Edit/Preferences" "<Primary>,")
 ; (gtk_accel_path "<Actions>/Export/Html" "")
 ; (gtk_accel_path "<Actions>/Templates/Template Extraction Inline" "")
 ; (gtk_accel_path "<Actions>/Tactics/Tactic absurd" "")
-- 
cgit v1.2.3