Potential fix for Firefox sometimes losing the text selection

diff --git a/wcfsetup/install/files/js/3rdParty/redactor/plugins/wmonkeypatch.js b/wcfsetup/install/files/js/3rdParty/redactor/plugins/wmonkeypatch.js
index ce8704d823de8e2f9670b87b85badceeb2ed5f5e..73d12e75ff784af299bf38401eacd0c869af3891 100644 (file)
--- a/wcfsetup/install/files/js/3rdParty/redactor/plugins/wmonkeypatch.js
+++ b/wcfsetup/install/files/js/3rdParty/redactor/plugins/wmonkeypatch.js
@@ -87,6 +87,10 @@ RedactorPlugins.wmonkeypatch = function() {
                                this.$editor.on('mouseup.redactor keyup.redactor focus.redactor', $.proxy(this.observe.buttons, this));
                                this.$editor.on('keyup.redactor', $.proxy(this.keyup.init, this));
                        }
+                       
+                       this.$editor.on('mousedown.wmonkeypatch mouseup.wmonkeypatch', (function() {
+                               this.wutil.saveSelection();
+                       }).bind(this));
                },
                
                /**