From c3826a1754b031cbfc2b5d38df13af7a4f77ca41 Mon Sep 17 00:00:00 2001
From: Alexander Ebert <ebert@woltlab.com>
Date: Tue, 25 Nov 2014 17:07:01 +0100
Subject: [PATCH] Fixed [Ctrl] + [Tab] in <textarea> in Firefox on Mac OS X

---
 .../files/js/3rdParty/redactor/plugins/wmonkeypatch.js | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/wcfsetup/install/files/js/3rdParty/redactor/plugins/wmonkeypatch.js b/wcfsetup/install/files/js/3rdParty/redactor/plugins/wmonkeypatch.js
index 7e1fc8dbbf..b686f3a80c 100644
--- a/wcfsetup/install/files/js/3rdParty/redactor/plugins/wmonkeypatch.js
+++ b/wcfsetup/install/files/js/3rdParty/redactor/plugins/wmonkeypatch.js
@@ -267,6 +267,16 @@ RedactorPlugins.wmonkeypatch = function() {
 				
 				$mpStartSync.call(this);
 			}).bind(this);
+			
+			// code.textareaIndenting
+			var $mpTextareaIndenting = this.code.textareaIndenting;
+			this.code.textareaIndenting = (function(e) {
+				if (e.keyCode !== 9 || e.ctrlKey) {
+					return true;
+				}
+				
+				return $mpTextareaIndenting.call(this, e);
+			}).bind(this);
 		},
 		
 		/**
-- 
2.20.1