From 6c5e8d3118925ff09e4f2c9256d97dd737b79cb0 Mon Sep 17 00:00:00 2001
From: Caleb James DeLisle <cjd@cjdns.fr>
Date: Wed, 11 Jan 2017 18:00:41 +0100
Subject: [PATCH] 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

---
 www/pad/main.js | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/www/pad/main.js b/www/pad/main.js
index 2f611e566..1aa7a9371 100644
--- 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({