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"> |