diff --git a/electron/main.js b/electron/main.js index b595282fa..71efe5820 100644 --- a/electron/main.js +++ b/electron/main.js @@ -1,4 +1,5 @@ -const { app, BrowserWindow, Menu } = require("electron"); +const { app, BrowserWindow, Menu, globalShortcut } = require("electron"); + Menu.setApplicationMenu(false); function createWindow() { const win = new BrowserWindow({ @@ -13,6 +14,12 @@ function createWindow() { win.loadFile("index.html"); win.show(); // win.webContents.openDevTools(); + globalShortcut.register("f5", function () { + win.loadFile("index.html"); + }); + globalShortcut.register("f8", function () { + win.loadFile("index.html", { query: { noScripts: "true" } }); + }); } app.whenReady().then(() => { diff --git a/src/ui/React/Theme.tsx b/src/ui/React/Theme.tsx index 728d03bb0..ade2d5897 100644 --- a/src/ui/React/Theme.tsx +++ b/src/ui/React/Theme.tsx @@ -163,8 +163,6 @@ export function refreshTheme() { backgroundColor: "#333", border: "1px solid " + colors.well, // color: colors.primary, - margin: "5px", - padding: "3px 5px", "&:hover": { backgroundColor: colors.black, },