Commit 156439e9 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

make web interface look closer to GTK ide (in progress)

parent 979cf05c
......@@ -139,6 +139,12 @@ body {
/*** MAIN EDITOR ***/
#why3-task-list-container {
flex-grow:1;
position:relative;
margin:0;
padding:0;
}
#why3-tab-container {
flex-grow:1;
position:relative;
......
......@@ -90,12 +90,18 @@
<div id="why3-main-panel" class="why3-wide-view">
<div id="why3-task-list-container" class="why3-container">
<div id="why3-task-list" class="why3-widget">
</div>
</div>
<div id="why3-resize-bar" class="why3-widget" ></div>
<div id="why3-tab-container" class="why3-container">
<div id="why3-tab-panel" class="why3-tab-group">
<span class="why3-tab-label why3-widget" >Task tree</span>
<div class="why3-widget why3-tab">
<div id="why3-task-list" class="why3-widget">
</div>
<div id="why3-task-viewer"> </div>
</div>
<span class="why3-tab-label why3-widget why3-inactive">Source code</span>
<div class="why3-widget why3-tab">
......@@ -114,12 +120,11 @@
</div>
</div>
<div id="why3-resize-bar" class="why3-widget" ></div>
<div id="why3-task-viewer-container" class="why3-container">
<!--
<div id="why3-task-viewer-container" class="why3-container">
<div id="why3-viewer-bg" class="why3-widget"> </div>
<div id="why3-task-viewer"> </div>
</div>
-->
</div>
......
......@@ -361,6 +361,7 @@ let sendRequest r =
module Panel =
struct
let main_panel = getElement AsHtml.div "why3-main-panel"
let task_list_container = getElement AsHtml.div "why3-task-list-container"
let tab_container = getElement AsHtml.div "why3-tab-container"
let resize_bar = getElement AsHtml.div "why3-resize-bar"
let reset () =
......@@ -380,7 +381,7 @@ module Panel =
(e ##. clientX) - (main_panel ##. offsetLeft)
in
let offset = Js.string ((string_of_int offset) ^ "px") in
let edit_style = tab_container ##. style in
let edit_style = task_list_container ##. style in
JSU.(set edit_style (Js.string "flexGrow") (Js.string "0"));
JSU.(set edit_style (Js.string "flexBasis") offset);
Js._false
......
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