<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html>
<head>
<title>Tree Selection Test</title>
<style type="text/css">
    body { -webkit-user-select: none }
</style>
<style type="text/css">
.node {
    border: 1px solid black;
    background-color: white;
}
.label {
    font: 8pt sans-serif;
}
</style>
<script language="javascript" src="HorizontalLayout.js"></script>
<script language="javascript" src="VerticalLayout.js"></script>
<script language="javascript" src="treeselection.js"></script>
<script language="javascript" src="../types.js"></script>
<script language="javascript" src="../traversal.js"></script>
<script language="javascript" src="../Position.js"></script>
<script language="javascript" src="../Range.js"></script>

</head>

<body onload="loaded()">
<h1>Tree Selection Test</h1>

</body>
</html>

<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html>
<head>
<title>Tree Selection Test</title>
<style type="text/css">
    body { -webkit-user-select: none }
</style>
<style type="text/css">
.node {
    border: 1px solid black;
    background-color: white;
}
.label {
    font: 8pt sans-serif;
}
</style>
<script language="javascript" src="HorizontalLayout.js"></script>
<script language="javascript" src="VerticalLayout.js"></script>
<script language="javascript" src="treeselection.js"></script>
<script language="javascript" src="../types.js"></script>
<script language="javascript" src="../traversal.js"></script>
<script language="javascript" src="../Position.js"></script>
<script language="javascript" src="../Range.js"></script>
<script language="javascript" src="../util.js"></script>

</head>

<body onload="loaded()">
<h1>Tree Selection Test</h1>

</body>
</html>

Include util.js so that we can use nodeString()
Include util.js so that we can use nodeString()
