Commit d4990bc3 authored by Marc Duez's avatar Marc Duez Committed by Mathieu Giraud
Browse files

graph.js : smaller menu

parent bd5c5ee2
...@@ -212,8 +212,8 @@ max-height: calc(~"100%" - @margin) ...@@ -212,8 +212,8 @@ max-height: calc(~"100%" - @margin)
position: absolute; position: absolute;
top: 0px; top: 0px;
right: 0px; right: 0px;
min-width: 45px; min-width: 22px;
min-height: 20px; min-height: 18px;
text-align: center; text-align: center;
border-bottom: solid; border-bottom: solid;
border-left: solid; border-left: solid;
...@@ -228,7 +228,7 @@ max-height: calc(~"100%" - @margin) ...@@ -228,7 +228,7 @@ max-height: calc(~"100%" - @margin)
.graph_listElem:hover{ .graph_listElem:hover{
background : @highlight; background : @highlight;
width: 100%; width: 100%;
cursor: aaa; cursor: move;
cursor: webkit-grab; cursor: webkit-grab;
} }
......
...@@ -34,8 +34,8 @@ function Graph(id, model) { ...@@ -34,8 +34,8 @@ function Graph(id, model) {
this.resizeH = 1; //coeff d'agrandissement/réduction hauteur this.resizeH = 1; //coeff d'agrandissement/réduction hauteur
this.marge1 = 0.05; //marge droite bord du graph/premiere colonne this.marge1 = 0.05; //marge droite bord du graph/premiere colonne
this.marge2 = 0.05; //marge gauche derniere colonne/bord du graph this.marge2 = 0.08; //marge gauche derniere colonne/bord du graph
this.marge3 = 50; //marge droite (non influencé par le resize) this.marge3 = 0; //marge droite (non influencé par le resize)
this.marge4 = 80; //marge gauche (non influencé par le resize) this.marge4 = 80; //marge gauche (non influencé par le resize)
this.marge5 = 25; //marge top (non influencé par le resize) this.marge5 = 25; //marge top (non influencé par le resize)
...@@ -198,7 +198,7 @@ Graph.prototype = { ...@@ -198,7 +198,7 @@ Graph.prototype = {
var div = document.createElement('div') var div = document.createElement('div')
div.id = "" + this.id + "_menu" div.id = "" + this.id + "_menu"
div.className = "graph_menu" div.className = "graph_menu"
div.appendChild(document.createTextNode("others")) div.appendChild(document.createTextNode("+"))
var list = document.createElement('div') var list = document.createElement('div')
list.id = "" + this.id + "_list" list.id = "" + this.id + "_list"
......
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