Temporary fix for undo/redo button on mobile

diff --git a/wcfsetup/install/files/js/3rdParty/redactor/plugins/wbutton.js b/wcfsetup/install/files/js/3rdParty/redactor/plugins/wbutton.js
index 7ea3d5e51191dbd072cb5d40e9f70da2805d8891..043986629262361615c299f091e85b14f888b88f 100644 (file)
--- a/wcfsetup/install/files/js/3rdParty/redactor/plugins/wbutton.js
+++ b/wcfsetup/install/files/js/3rdParty/redactor/plugins/wbutton.js
@@ -88,13 +88,16 @@ RedactorPlugins.wbutton = function() {
                        // handle image insert
                        this.button.addCallback(this.button.get('image'), $.proxy(this.wbutton.insertImage, this));
                        
-                       // handle redo/undo buttons
-                       var $undoButton = this.button.addAfter('html', 'undo', WCF.Language.get('wcf.bbcode.button.undo'));
-                       var $redoButton = this.button.addAfter('undo', 'redo', WCF.Language.get('wcf.bbcode.button.redo'));
-                       this.button.addCallback($undoButton, this.buffer.undo);
-                       this.button.addCallback($redoButton, this.buffer.redo);
+                       // handle redo/undo buttons (for some reason not available on mobile, disabled for now)
+                       if (this.utils.isDesktop()) {
+                               var $undoButton = this.button.addAfter('html', 'undo', WCF.Language.get('wcf.bbcode.button.undo'));
+                               var $redoButton = this.button.addAfter('undo', 'redo', WCF.Language.get('wcf.bbcode.button.redo'));
+                               this.button.addCallback($undoButton, this.buffer.undo);
+                               this.button.addCallback($redoButton, this.buffer.redo);
+                               
+                               $redoButton.parent().addClass('separator');
+                       }
                        
-                       $redoButton.parent().addClass('separator');
                },
                
                /**