Safari is really the best browser in the world, even though you have to stick a screwdriver in it to get it to start up

2017-01-11 18:00:41 +01:00 · 2017-01-11 18:00:41 +01:00 · 6c5e8d3118
parent b39067d2a1
commit 6c5e8d3118
1 changed files with 6 additions and 0 deletions
--- a/www/pad/main.js
+++ b/www/pad/main.js
@ -638,6 +638,12 @@ define([
                if (!module.isMaximized) {
                    editor.execCommand('maximize');
                    module.isMaximized = true;
+                    // We have to call it 3 times in Safari
+                    // in order to have the editor fully maximized -_-
+                    if ((''+window.navigator.vendor).indexOf('Apple') !== -1) {
+                        editor.execCommand('maximize');
+                        editor.execCommand('maximize');
+                    }
                }

                module.patchText = TextPatcher.create({