Better page title

deto · deto · commit a3af500cdfce · 2019-10-14T15:10:47.000-07:00
diff --git a/inst/html_output/src/main.js b/inst/html_output/src/main.js
@@ -199,6 +199,7 @@ window.onload = function()
     var sessionInfoPromise = api.sessionInfo().then(info => {
         if(info.name.length > 0){
             $('#SampleNameSpan').text(' - ' + info.name)
+            document.title = 'VISION - ' + info.name
         }
 
         if(info.has_tree){

Original file line number	Diff line number	Diff line change
`@@ -199,6 +199,7 @@ window.onload = function()`
`199`	`199`	`var sessionInfoPromise = api.sessionInfo().then(info => {`
`200`	`200`	`if(info.name.length > 0){`
`201`	`201`	`$('#SampleNameSpan').text(' - ' + info.name)`
	`202`	`+ document.title = 'VISION - ' + info.name`
`202`	`203`	`}`
`203`	`204`
`204`	`205`	`if(info.has_tree){`