| Index: tools/turbolizer/index.html
|
| diff --git a/tools/turbolizer/index.html b/tools/turbolizer/index.html
|
| index 6991d926821b96a4da6df213eccefea9e2057466..0c83e9c672e5686553cd1f5619de4b7521b32953 100644
|
| --- a/tools/turbolizer/index.html
|
| +++ b/tools/turbolizer/index.html
|
| @@ -10,24 +10,29 @@
|
| </div>
|
| </div>
|
| <div id="middle">
|
| - <span id="graph-toolbox">
|
| - <input id="layout" type="image" title="layout graph" src="layout-icon.png"
|
| - alt="layout graph" class="button-input">
|
| - <input id="show-all" type="image" title="show all nodes" src="expand-all.jpg"
|
| - alt="show all nodes" class="button-input">
|
| - <input id="hide-unselected" type="image" title="hide unselected nodes"
|
| - src="hide-unselected.png" alt="hide unselected nodes" class="button-input">
|
| - <input id="hide-selected" type="image" title="hide selected nodes"
|
| - src="hide-selected.png" alt="hide selected nodes" class="button-input">
|
| - <input id="zoom-selection" type="image" title="zoom to selection"
|
| - src="search.png" alt="zoom to selection" class="button-input">
|
| - <input id="toggle-types" type="image" title="show/hide types"
|
| - src="types.png" alt="show/hide types" class="button-input">
|
| - <input id="search-input" type="text" title="search nodes for regex"
|
| - alt="search node for regex" class="search-input"
|
| - placeholder="find with regexp…">
|
| - <select id="display-selector"></select>
|
| - </span>
|
| + <div id="graph-toolbox-anchor">
|
| + <span id="graph-toolbox">
|
| + <input id="layout" type="image" title="layout graph" src="layout-icon.png"
|
| + alt="layout graph" class="button-input">
|
| + <input id="show-all" type="image" title="show all nodes" src="expand-all.jpg"
|
| + alt="show all nodes" class="button-input">
|
| + <input id="hide-unselected" type="image" title="hide unselected nodes"
|
| + src="hide-unselected.png" alt="hide unselected nodes" class="button-input">
|
| + <input id="hide-selected" type="image" title="hide selected nodes"
|
| + src="hide-selected.png" alt="hide selected nodes" class="button-input">
|
| + <input id="zoom-selection" type="image" title="zoom to selection"
|
| + src="search.png" alt="zoom to selection" class="button-input">
|
| + <input id="toggle-types" type="image" title="show/hide types"
|
| + src="types.png" alt="show/hide types" class="button-input">
|
| + <input id="search-input" type="text" title="search nodes for regex"
|
| + alt="search node for regex" class="search-input"
|
| + placeholder="find with regexp…">
|
| + <select id="display-selector">
|
| + <option disabled selected>(please open a file)</option>
|
| + </select>
|
| + </span>
|
| + </div>
|
| +
|
| <div id="load-file">
|
| <input type="file" id="hidden-file-upload">
|
| <input id="upload" type="image" title="load graph" class="button-input"
|
|
|