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