cosmetics, renaming

diff --git a/user_interface/selector.html b/user_interface/analysis.html
similarity index 98%
rename from user_interface/selector.html
rename to user_interface/analysis.html
index 84064679a9559b2b932c5c3270f5984576a06ecd..31d749caa11002938d73d775c20829b0c0b94982 100644 (file)
--- a/user_interface/selector.html
+++ b/user_interface/analysis.html
@@ -6,7 +6,7 @@
   <script src="./jquery-ui.js"></script>
   <script src="./jquery.mwiebusch.js"></script>
   <script src="./selection.js"></script>
-  <script src="./selector.js"></script>
+  <script src="./analysis.js"></script>
   <script src="./statistics.js"></script>
   
   <link rel="stylesheet" type="text/css" href="styles.css">

diff --git a/user_interface/selector.js b/user_interface/analysis.js
similarity index 100%
rename from user_interface/selector.js
rename to user_interface/analysis.js

diff --git a/user_interface/coral_scanner.pm b/user_interface/coral_scanner.pm
index 350556b98687dfbc22ef5f0a635117f751a810ad..e31977add91f75abfb79326f02bae2e51fa55955 100644 (file)
--- a/user_interface/coral_scanner.pm
+++ b/user_interface/coral_scanner.pm
@@ -148,6 +148,8 @@ sub main_html {
   ><input type='button' value='svg image'></a>";
   print "<a href='coral_scanner.pl?sub=last_scan' target='_blank' id='button_dump'
   ><input type='button' value='scan dump'></a>";
+  print "<a href='analysis.html' target='_blank' id='button_analysis_gui'
+  ><input type='button' value='analysis gui'></a>";
   print br;
   print hr;
   print br;