From bb4121c5b6abbdb231768c8da62d12f1e88e7663 Mon Sep 17 00:00:00 2001
From: Shakil-Shahadat <shakil.regi@gmail.com>
Date: Fri, 11 Dec 2020 15:05:41 +0600
Subject: [PATCH] Add menu option to open developer tools

---
 .github/ISSUE_TEMPLATE.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/ISSUE_TEMPLATE.md b/.github/ISSUE_TEMPLATE.md
index 2459f3af..2348ea7e 100644
--- a/.github/ISSUE_TEMPLATE.md
+++ b/.github/ISSUE_TEMPLATE.md
@@ -9,5 +9,6 @@ If you have an issue cutting a particular file, please also share the file, if p
 Also provide the error report if you got one (or `Help`->`Report an error`)
 
 How to open developer tools:
+- Any: Tools > Toggle Developer Tools
 - Windows: <kbd>F12</kbd> or <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>I</kbd>
 - Mac: <kbd>Cmd</kbd>+<kbd>Opt</kbd>+<kbd>I</kbd>