Index: tools/turbolizer/index.html |
diff --git a/tools/turbolizer/index.html b/tools/turbolizer/index.html |
index e855a0720888665252b05ffb7c80ca1873b5249d..8dc21b7bdd116b0f06afaa6cb994168e17e27701 100644 |
--- a/tools/turbolizer/index.html |
+++ b/tools/turbolizer/index.html |
@@ -16,6 +16,8 @@ |
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-dead" type="image" title="only live nodes" src="live.png" |
+ alt="only live 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" |