From 267edeb9083cd379089f199069cb07ff3040e074 Mon Sep 17 00:00:00 2001 From: WrinklyNinja Date: Wed, 21 May 2014 11:33:50 +0100 Subject: [PATCH] Disable header buttons while in edit mode. --- resources/report/css/style.css | 11 +++++++++++ resources/report/js/script.js | 3 +++ resources/report/report.html | 1 + 3 files changed, 15 insertions(+) diff --git a/resources/report/css/style.css b/resources/report/css/style.css index 9f79970c..e433bd57 100644 --- a/resources/report/css/style.css +++ b/resources/report/css/style.css @@ -450,4 +450,15 @@ td input { } #pluginsNav.editMode li:hover .name { display: none; +} +header.editMode { + color: #999; +} +header.editMode #headerOverlay { + z-index: 3; + width: 100%; + height: 100%; + position: absolute; + top: 0; + left: 0; } \ No newline at end of file diff --git a/resources/report/js/script.js b/resources/report/js/script.js index 30a4eedf..f209dc08 100644 --- a/resources/report/js/script.js +++ b/resources/report/js/script.js @@ -314,6 +314,9 @@ function showEditor(sectionId) { /* Enable priority hover in plugins list. */ document.getElementById('pluginsNav').classList.toggle('editMode', true); + /* Disable header buttons. */ + document.getElementsByTagName('header')[0].classList.toggle('editMode', true); + /* Finally, show editor. */ section.classList.toggle('flip'); } diff --git a/resources/report/report.html b/resources/report/report.html index dc0e77fe..8002a5ed 100644 --- a/resources/report/report.html +++ b/resources/report/report.html @@ -170,6 +170,7 @@
+
  1. File