displayed filename if no level title

Author: honzi

repo.js

@@ -17,9 +17,7 @@ function repo_init(){
                         'character': -1,
                         'json': JSON.parse(event.target.result),
                       })){
-                        document.title = webgl_properties['title']
-                          ? webgl_properties['title'] + ' - ' + core_repo_title
-                          : core_repo_title;
+                        document.title = (webgl_properties['title'] || element.files[0].name) +  ' - ' + core_repo_title;
 
                     }else{
                         element.value = null;