|
2 | 2 | <html>
|
3 | 3 | <head>
|
4 | 4 | <title></title>
|
5 |
| - <link rel="stylesheet" href="css/font-awesome.css"> |
6 |
| - <link rel="stylesheet" href="css/dock-manager.css"> |
| 5 | + <link rel="stylesheet" href="../../css/font-awesome.css"> |
| 6 | + <link rel="stylesheet" href="../../css/dock-manager.css"> |
7 | 7 | <link rel="stylesheet" href="demo.css">
|
8 |
| - <script src="js/dockspawn.js" type="text/javascript"></script> |
| 8 | + <script src="../../js/dockspawn.js" type="text/javascript"></script> |
| 9 | + |
| 10 | + <!-- Info Vis graphing lib. Used for dock tree visualization --> |
| 11 | + <link type="text/css" rel="stylesheet" href="infovis/jit-base.css" /> |
| 12 | + <link type="text/css" rel="stylesheet" href="infovis/Spacetree.css" /> |
| 13 | + <script language="javascript" type="text/javascript" src="infovis/jit.js"></script> |
| 14 | + <script language="javascript" type="text/javascript" src="infovis/dock_tree_vis.js"></script> |
9 | 15 | </head>
|
| 16 | + |
10 | 17 | <body>
|
11 | 18 | <div class="demo-header" id="header" style="width:100%">
|
12 | 19 | <div class="demo-header-title">Dock Spawn IDE Demo [Javascript]</div>
|
13 | 20 | <div class="demo-header-description">Pull a panel out from it's title bar and dock it elsewhere</div>
|
14 | 21 | </div>
|
15 |
| - |
16 | 22 | <div id="my_dock_manager" class="my-dock-manager"></div>
|
17 | 23 | <div id="solution_window" caption="Solution Explorer" icon="icon-circle-arrow-right" class="solution-window">
|
18 | 24 | <ul>
|
|
32 | 38 | <div id="problems_window" caption="Problems" class="problems-window"></div>
|
33 | 39 | <div id="editor1_window" caption="Steering.h" class="editor1-window editor-host"></div>
|
34 | 40 | <div id="editor2_window" caption="Steering.cpp" class="editor2-window editor-host"></div>
|
| 41 | + <div id="infovis" caption="Dock Tree Visualizer" class="editor2-window editor-host"></div> |
35 | 42 | <div id="output_window" caption="Output" class="output-window editor-host"></div>
|
36 | 43 | <div id="toolbox_window" caption="Toolbox" class="toolbox-window">
|
37 | 44 | <ul>
|
|
51 | 58 | var divDockManager = document.getElementById("my_dock_manager");
|
52 | 59 | var dockManager = new dockspawn.DockManager(divDockManager);
|
53 | 60 | dockManager.initialize();
|
54 |
| - |
55 | 61 | // Let the dock manager element fill in the entire screen
|
56 | 62 | var onResized = function(e)
|
57 | 63 | {
|
|
72 | 78 | var output = new dockspawn.PanelContainer(document.getElementById("output_window"), dockManager);
|
73 | 79 | var editor1 = new dockspawn.PanelContainer(document.getElementById("editor1_window"), dockManager);
|
74 | 80 | var editor2 = new dockspawn.PanelContainer(document.getElementById("editor2_window"), dockManager);
|
| 81 | + var infovis = new dockspawn.PanelContainer(document.getElementById("infovis"), dockManager); |
75 | 82 |
|
76 | 83 | // Dock the panels on the dock manager
|
77 | 84 | var documentNode = dockManager.context.model.documentManagerNode;
|
|
83 | 90 | var toolboxNode = dockManager.dockRight(documentNode, toolbox, 0.20);
|
84 | 91 | var editor1Node = dockManager.dockFill(documentNode, editor1);
|
85 | 92 | var editor2Node = dockManager.dockFill(documentNode, editor2);
|
| 93 | + var infovisNode = dockManager.dockFill(documentNode, infovis); |
| 94 | + |
| 95 | + // Initialize infovis (for dock tree visualization) |
| 96 | + InitDebugTreeVis(dockManager); |
86 | 97 | }
|
87 | 98 | </script>
|
88 | 99 |
|
|
0 commit comments