My modifications to the jsdebugger's web GUI. Adds a few features and makes it compatible with the current server-side code. Closes #410

This was SVN commit r13240.

source/tools/jsdebugger/index.html

@@ -31,10 +31,12 @@
     </div>  
 	
 	<div data-options="region:'east',split:true" title="Actions" style="width:150px;">
-      <a href="" id="step" class="easyui-linkbutton" style="margin:2px">Step</a> <br>
-	  <a href="" id="step_into" class="easyui-linkbutton" style="margin:2px">Step Into</a> <br>
-	  <a href="" id="step_out" class="easyui-linkbutton" style="margin:2px">Step Out</a> <br>
-      <a href="" id="continue" class="easyui-linkbutton" style="margin:2px">Continue</a> <br>
+		<a href="" id="step" class="easyui-linkbutton" style="margin:2px">Step</a> <br>
+		<a href="" id="step_into" class="easyui-linkbutton" style="margin:2px">Step into</a> <br>
+		<a href="" id="step_out" class="easyui-linkbutton" style="margin:2px">Step out</a> <br>
+		<a href="" id="continue" class="easyui-linkbutton" style="margin:2px">Continue</a> <br>
+		<a href="" id="continue_thread" class="easyui-linkbutton" style="margin:2px">Continue thread</a> <br>
+		<a href="" id="break" class="easyui-linkbutton" style="margin:2px">Break</a> <br>
 	</div>
     		
 	<div id="filePanel"  data-options="region:'center'" title="File">

source/tools/jsdebugger/js/lib/jquery.easyui/themes/icon.css

@@ -62,4 +62,7 @@
 }
 .icon-mini-refresh{
 	background:url('icons/mini_refresh.png') no-repeat center center;
-}
+}
+.icon-loading{
+	background:url('icons/loading.gif') no-repeat center center;
+}