simple translator: more work on GlobalSight support

Disable editing source segments in GlobalSight documents

src/www/translator/translator.js

@@ -805,6 +805,7 @@ Translator.prototype.draw_segment_given_target=function(s,target,i) {
 						      [insertB,removeB])]))
     }
     var source=wrap_class("td","source",text(s.source))
+    if(!t.document.globalsight)
 	source.onclick=function() { t.edit_source(source,i); }
     var options=wrap_class("td","options",draw_options())