add select all button

sourcing/static/js/sourcedoc.js

@@ -3,7 +3,10 @@ function add_message() {
 }
 
 function show_selection(event) {
-  var range = window.getSelection().getRangeAt(0);
+  var selection = window.getSelection();
+  if(selection.type != 'Range')
+    return;
+  var range = selection.getRangeAt(0);
   var start_element = range.startContainer.parentElement;
   var end_element = range.endContainer.parentElement;
 
@@ -41,9 +44,17 @@ $(function() {
   $("div#right").hide();
 
   $("body").mouseup(show_selection);
+});
 
 $("#show-span-selector").click(function(e) {
+  e.preventDefault();
   $("#span-selector").removeClass("hidden");
   $(this).hide();
 });
+
+$("#select-all").click(function(e) {
+  e.preventDefault();
+  $("#span-selector").removeClass("hidden");
+  $("#show-span-selector").hide();
+  $("#span").text(doc_url + ",start=0,length=" + doc_length);
 });

sourcing/templates/view.html

@@ -43,7 +43,8 @@ div#text { font-family: Courier; }
     </div>
 
     {% if doc.type == 'sourcedoc' and not span_length %}
-      <a href="#" id="show-span-selector" class="btn btn-default">show span selector</a>
+      <button id="show-span-selector" class="btn btn-default">show span selector</button>
+      <button id="select-all" class="btn btn-default">get entire document span</button>
       <p id="span-selector" class="hidden">span: <span id="span"></span></p>
     {% endif %}
   </div>
@@ -52,6 +53,7 @@ div#text { font-family: Courier; }
 {% set scripts %}
 <script>
   var doc_url = '{{ doc.external_url }}';
+  var doc_length = {{ doc.text | length }};
 </script>
 <script src="{{ url_for('static', filename='js/sourcedoc.js') }}"></script>
 {% endset %}