#header { vertical-align: top; height: 16px; box-sizing: border-box; border-bottom: 1px solid #aaa; background: url(glossyHeader.png) repeat-x; position: absolute; top: 0; left: 0; right: 0; }
#header > * { vertical-align: top; }
#footer { height: 21px; box-sizing: border-box; border-top: 1px solid #aaa; background: url(glossyFooterFill.tif) repeat-x; position: absolute; bottom: 0; left: 0; right: 0; }
+#infoDivider { position:absolute; right:0; left:0; top:0; bottom:0; width:10px; cursor: move; background: url(verticalSplitterDimple.tiff) 50% no-repeat, url(verticalSplitterBar.tiff) repeat-y; width: 10px; }
#files {
opacity: 0;
border-left: 1px solid rgba(0, 0, 0, 0.3);
background: url(navLeftPressed.png) no-repeat;
}
+
+#leftPane {
+ position:absolute;
+ overflow:scroll;
+ top:0;
+ bottom:10px;
+ left:0;
+ width:353px;
+ padding:0;
+ margin:0;
+ }
+
+.infoBackground {
+ background: url(background_stripe.png) repeat;
+ position:absolute;
+ top:16px;
+ bottom:0;
+ right:0;
+ left:0px;
+ padding:0;
+ margin:0;
+ z-index:-1;
+ }
+
+#rightPane {
+ position:absolute;
+ top:0;
+ bottom:0;
+ right:0;
+ left:353px;
+ padding:0;
+ margin:0;
+ }
+
+#variables {
+ overflow:scroll;
+ position:absolute;
+ top:0;
+ bottom:10px;
+ right:0;
+ left:10px;
+ padding:0;
+ margin:0;
+ }
+
+td {
+ font-family: "lucida grande";
+ font-size: 8pt;
+ padding: 3px 8px;
+ border-left: 1px solid #d9d9d9;
+}
+
+.multivariable {
+list-style-image:url(SourceArrow.png);
+}
+
+#variablesTable
+{
+width:100%;
+}
+
+.column th {
+ background: url(glossyHeader.png) repeat-x;
+ border-right: 1px solid #d9d9d9;
+ height: 16px;
+ box-sizing: border-box;
+ border-bottom: 1px solid #aaa;
+ font-family: "lucida grande";
+ font-size: 8pt;
+ font-weight:normal;
+ vertical-align:middle;
+ padding:0 8px;
+ text-align:left;
+}
+
+li {
+list-style-image:url(SourceArrow.png);
+}
+
else if (event.charCode == 115) step();
}
-function dividerDragStart(event) {
- var element = document.getElementById("divider");
+function dividerDragStart(element, dividerDrag, dividerDragEnd, event) {
element.dragging = true;
- element.dragLastY = event.clientY + window.scrollY;
+ element.dragLastX = event.clientX + window.scrollX;
document.addEventListener("mousemove", dividerDrag, true);
document.addEventListener("mouseup", dividerDragEnd, true);
event.preventDefault();
}
+function sourceDividerDragStart(event) {
+ dividerDragStart(document.getElementById("divider"), dividerDrag, sourceDividerDragEnd, event);
+}
+
+function infoDividerDragStart(event) {
+ dividerDragStart(document.getElementById("infoDivider"), infoDividerDrag, infoDividerDragEnd, event);
+}
+
+function infoDividerDragEnd(event) {
+ dividerDragEnd(document.getElementById("infoDivider"), infoDividerDrag, infoDividerDragEnd);
+}
+
+function sourceDividerDragEnd(event) {
+ dividerDragEnd(document.getElementById("divider"), dividerDrag, sourceDividerDragEnd);
+}
+
+function dividerDragEnd(element, dividerDrag, dividerDragEnd, event) {
+ element.dragging = false;
+ document.removeEventListener("mousemove", dividerDrag, true);
+ document.removeEventListener("mouseup", dividerDragEnd, true);
+}
+
+function infoDividerDrag(event) {
+ var element = document.getElementById("infoDivider");
+ if (document.getElementById("infoDivider").dragging == true) {
+ var main = document.getElementById("main");
+ var leftPane = document.getElementById("leftPane");
+ var rightPane = document.getElementById("rightPane");
+ var x = event.clientX + window.scrollX;
+
+ if (x < main.clientWidth * 0.25)
+ x = main.clientWidth * 0.25;
+ else if (x > main.clientWidth * 0.75)
+ x = main.clientWidth * 0.75;
+
+ leftPane.style.width = x + "px";
+ rightPane.style.left = x + "px";
+ element.dragLastX = x;
+ event.preventDefault();
+ }
+}
+
function dividerDrag(event) {
var element = document.getElementById("divider");
if (document.getElementById("divider").dragging == true) {
}
}
-function dividerDragEnd(event) {
- var element = document.getElementById("divider");
- element.dragging = false;
- document.removeEventListener("mousemove", dividerDrag, true);
- document.removeEventListener("mouseup", dividerDragEnd, true);
-}
-
function loaded() {
window.addEventListener("keypress", keyPressed, false);
- document.getElementById("divider").addEventListener("mousedown", dividerDragStart, false);
+ document.getElementById("divider").addEventListener("mousedown", sourceDividerDragStart, false);
+ document.getElementById("infoDivider").addEventListener("mousedown", infoDividerDragStart, false);
}
function isPaused() {