From f20c9c2215c86ec6209ec5bf94aca9a1f66f2a60 Mon Sep 17 00:00:00 2001
From: Alexander Ebert <ebert@woltlab.com>
Date: Tue, 14 Apr 2015 13:01:22 +0200
Subject: [PATCH] Prevent form submit if Alt Gr is pressed

---
 wcfsetup/install/files/js/3rdParty/redactor/plugins/wbbcode.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/wcfsetup/install/files/js/3rdParty/redactor/plugins/wbbcode.js b/wcfsetup/install/files/js/3rdParty/redactor/plugins/wbbcode.js
index efd19aa803..25ae977797 100644
--- a/wcfsetup/install/files/js/3rdParty/redactor/plugins/wbbcode.js
+++ b/wcfsetup/install/files/js/3rdParty/redactor/plugins/wbbcode.js
@@ -1843,7 +1843,7 @@ RedactorPlugins.wbbcode = function() {
 							$submitEditor = true;
 						}
 					}
-					else if (data.event.altKey) {
+					else if (data.event.altKey && !data.event.ctrlKey) {
 						$submitEditor = true;
 					}
 					
-- 
2.20.1