Commit f715996f authored by Mathieu Giraud's avatar Mathieu Giraud

index.html, css, js/shortcut.js: class 'devel-mode' for things hidden from the regular view

This is more generic than what was previously in the development menu.
Applied to 'highlight menu' in js/segmenter.js.
parent 2a72df0f
......@@ -854,11 +854,13 @@ span.logo {
width: 475px;
}
.menu-highlight {
display: none;
position: relative;
float: left;
width: 250px;
}
.devel-mode {
display: none;
}
.focus {
position: relative;
text-align: center;
......
......@@ -854,11 +854,13 @@ span.logo {
width: 475px;
}
.menu-highlight {
display: none;
position: relative;
float: left;
width: 250px;
}
.devel-mode {
display: none;
}
.focus {
position: relative;
text-align: center;
......
......@@ -1009,12 +1009,15 @@ span.logo
}
.menu-highlight {
display: none;
position: relative;
float: left;
width: @width_highlight;
}
.devel-mode {
display: none;
}
.focus {
position: relative;
text-align: center;
......
......@@ -214,7 +214,6 @@
<div id="debug_menu" class="menu" onmouseover="showSelector('adminSelector');" style="display : none"> development
<div id="adminSelector" class="selector"><div>
<input type="checkbox" onclick="$('.menu-highlight').toggle()">highlight menu</input><br>
<input type="checkbox" onclick=" this.checked ? $('#fps').css('display', '') : $('#fps').css('display', 'none');">display fps</input></br>
<input type="checkbox" onclick=" this.checked ? console.openLog() : console.closeLog() ;">log</input>
<div class="buttonSelector" onclick="m.changeTimeFormat('delta_date_no_zero', true)"><input type="radio" name="time" value="delta_date_no_zero">day after first sample (no zero)</input></div>
......
......@@ -161,7 +161,7 @@ Segment.prototype = {
//menu-highlight
var div_highlight = document.createElement('div');
div_highlight.className = "menu-highlight"
div_highlight.className = "menu-highlight devel-mode"
div_highlight.onmouseover = function () {
self.m.focusOut()
};
......
......@@ -96,8 +96,10 @@ Shortcut.prototype = {
var d_m = $("#debug_menu")
if (d_m.css("display") == "none"){
$("#debug_menu").css("display", "");
$(".devel-mode").show();
}else{
$("#debug_menu").css("display", "none");
$(".devel-mode").hide();
}
}
break;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment