From 9a809c3131166f4bb2a93c18fa6aa0c740faae45 Mon Sep 17 00:00:00 2001 From: JoshuaJB Date: Sat, 26 Apr 2014 19:52:56 +0000 Subject: [PATCH] Revert overlay resizing (forgot about translations) and minor fixes to my last changes. This was SVN commit r15010. --- binaries/data/mods/public/gui/session/menu.js | 2 ++ binaries/data/mods/public/gui/session/session.xml | 4 ++-- source/renderer/Renderer.cpp | 6 ++++++ 3 files changed, 10 insertions(+), 2 deletions(-) diff --git a/binaries/data/mods/public/gui/session/menu.js b/binaries/data/mods/public/gui/session/menu.js index 07da6ddb46..1cbcf9d491 100644 --- a/binaries/data/mods/public/gui/session/menu.js +++ b/binaries/data/mods/public/gui/session/menu.js @@ -675,6 +675,8 @@ function toggleDeveloperOverlay() submitChatDirectly(translate("The Developer Overlay was closed.")); // Update the options dialog devCommands.hidden = !devCommands.hidden; + // Save the changes + Engine.ConfigDB_CreateValue("user", "developeroverlay.enable", String(!devCommands.hidden) ); } function closeOpenDialogs() diff --git a/binaries/data/mods/public/gui/session/session.xml b/binaries/data/mods/public/gui/session/session.xml index 87ba95ee69..6da681cc32 100644 --- a/binaries/data/mods/public/gui/session/session.xml +++ b/binaries/data/mods/public/gui/session/session.xml @@ -239,10 +239,10 @@ /> -