Small work-around for buttons marked as active after disabling them

diff --git a/wcfsetup/install/files/js/3rdParty/redactor/plugins/wmonkeypatch.js b/wcfsetup/install/files/js/3rdParty/redactor/plugins/wmonkeypatch.js
index 8dc8c15867695f6474783d07cbb569718370373c..06df3569fd488aaec4aeef281426b5cb2a0c7f28 100644 (file)
--- a/wcfsetup/install/files/js/3rdParty/redactor/plugins/wmonkeypatch.js
+++ b/wcfsetup/install/files/js/3rdParty/redactor/plugins/wmonkeypatch.js
@@ -1030,6 +1030,11 @@ RedactorPlugins.wmonkeypatch = function() {
                                $toggleButtons(parent, 'blockquote.quoteBox', 'a.re-__wcf_quote', false, 'redactor-button-disabled', true);
                                $toggleButtons(parent, 'sub', 'a.re-subscript', false, 'redactor-act');
                                $toggleButtons(parent, 'sup', 'a.re-superscript', false, 'redactor-act');
+                               
+                               if (btnName) {
+                                       // work-around for buttons stuck after disabling -- #2138
+                                       this.observe.buttons(e);
+                               }
                        }).bind(this);
                        
                        // observe.load