From b2d43306922a2ec6db2b5a067ebbb42c801058b9 Mon Sep 17 00:00:00 2001 From: zadam Date: Sun, 14 Apr 2019 12:48:50 +0200 Subject: [PATCH] added button for reloading frontend --- src/public/javascripts/services/entrypoints.js | 1 + src/views/desktop.ejs | 6 ++++++ 2 files changed, 7 insertions(+) diff --git a/src/public/javascripts/services/entrypoints.js b/src/public/javascripts/services/entrypoints.js index 99bf6fb29..d77504cba 100644 --- a/src/public/javascripts/services/entrypoints.js +++ b/src/public/javascripts/services/entrypoints.js @@ -103,6 +103,7 @@ function registerEntrypoints() { utils.bindShortcut('f5', utils.reloadApp); + $("#reload-frontend-button").click(utils.reloadApp); utils.bindShortcut('ctrl+r', utils.reloadApp); $("#open-dev-tools-button").toggle(utils.isElectron()); diff --git a/src/views/desktop.ejs b/src/views/desktop.ejs index bdf06aec8..0d83ed2e6 100644 --- a/src/views/desktop.ejs +++ b/src/views/desktop.ejs @@ -73,6 +73,12 @@ CTRL+SHIFT+I + + + Reload frontend + CTRL-R + + Open SQL Console