| Index: tools/turbolizer/index.html
|
| diff --git a/tools/turbolizer/index.html b/tools/turbolizer/index.html
|
| index ba7701176e34b63f903010c1d2ce84984f925950..c13d8e16a4803f5b4f79d321114765bfb7bc0013 100644
|
| --- a/tools/turbolizer/index.html
|
| +++ b/tools/turbolizer/index.html
|
| @@ -23,8 +23,18 @@
|
| 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">
|
| + <button id="show-effects" type="button" title="show all effect edges transitively"
|
| + alt="show all effect edges transitively" class="button-input">
|
| + <i>E</i>
|
| + </button>
|
| + <button id="hide-control" type="button" title="hide all control edges"
|
| + alt="hide all control edges" class="button-input"
|
| + style="width:auto">
|
| + <i>¬C</i>
|
| + </button>
|
| <input id="search-input" type="text" title="search nodes for regex"
|
| - alt="search node for regex" class="search-input">
|
| + alt="search node for regex" class="search-input"
|
| + placeholder="find with regexp…">
|
| <select id="display-selector"></select>
|
| </span>
|
| <div id="load-file">
|
|
|