From 6d75bf83fa97f5311ee641eba4f6720f60c83122 Mon Sep 17 00:00:00 2001
From: Amaru8 <52407090+Amaru8@users.noreply.github.com>
Date: Fri, 22 Apr 2022 12:09:23 +0200
Subject: [PATCH] Add function for DevTools keys

---
 src/renderer/views/pages/settings.ejs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/renderer/views/pages/settings.ejs b/src/renderer/views/pages/settings.ejs
index bb7366e5..1de80810 100644
--- a/src/renderer/views/pages/settings.ejs
+++ b/src/renderer/views/pages/settings.ejs
@@ -179,7 +179,7 @@
                                             Open Developer Tools
                                         </div>
                                         <div class="md-option-segment md-option-segment_auto keybindings-border">
-                                            <p class="keybinding-text">{{ getCommandOrControl() }} + Shift + I</p>
+                                            <p class="keybinding-text">{{ getCommandOrControl() }} + {{ getOptionOrShift() }} + I</p>
                                         </div>
                                     </div>
                                 </div>
@@ -1191,6 +1191,9 @@
             getCommandOrControl() {
                 return app.platform == "darwin" ? "⌘" : "Ctrl";
             },
+            getOptionOrShift() {
+                return app.platform == "darwin" ? "⌥" : "Shift";
+            },
             windowBgStyleChange() {
                 this.$root.getNowPlayingArtworkBG(undefined, true)
                 if (this.$root.cfg.visual.window_background_style == "mica") {