cafe-grader-web Files · lib/assets/libs/

cafe-grader-web

Location: cafe-grader-web/lib/assets/libs/_browser.js

Commit Description:

Fix bug #23, #22, #21, #17

Commit Description:

Fix bug #23, #22, #21, #17

References:

r730:7917a0f3fcef default

File last commit:

r584:056392c00e67 java

Show/Diff file:

Action:

            
                    lib/assets/libs/_browser.js
                
             | 37 lines
             | 1.5 KiB
             | application/javascript 
             | JavascriptLexer
             | 
      
            History
        
           Show Full History
         |
          Annotation
         | Raw
         |
              
              Download
              
      var $module=(function($B) {

        return {

          alert:function(message){window.alert($B.builtins.str(message))},

          confirm: $B.JSObject(window.confirm),

          console:$B.JSObject(window.console),

          document:$B.DOMNode(document),

          doc: $B.DOMNode(document),   //want to use document instead of doc

          DOMEvent:$B.DOMEvent,

          DOMNode:$B.DOMNode,

          mouseCoords: function(ev){return $B.JSObject($mouseCoords(ev))},

          prompt: function(message, default_value){

              return $B.JSObject(window.prompt(message, default_value||''))

          },

          reload: function(){

              // Try to reload all scripts and all imported modules

              var scripts=document.getElementsByTagName('script'),$elts=[]

              // Freeze the list of scripts here ; other scripts can be inserted on

              // the fly by viruses

              for(var i=0;i<scripts.length;i++){

                  var script = scripts[i]

                  if(script.type!="text/python" && script.type!="text/python3"){

                      $elts.push(script)

                  }

              }

              console.log('scripts to reload', $elts)

          },

          win: $B.win,

          window: $B.win,

          URLParameter:function(name) {

             name = name.replace(/[\[]/, "\\[").replace(/[\]]/, "\\]");

             var regex = new RegExp("[\\?&]" + name + "=([^&#]*)"),

                 results = regex.exec(location.search);

             results= results === null ? "" : decodeURIComponent(results[1].replace(/\+/g, " "));

             return $B.builtins.str(results);

          }

        }

      })(__BRYTHON__)

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository permissions settings

Sign in to your account

Last Author

				var $module=(function($B) {
				return {
				alert:function(message){window.alert($B.builtins.str(message))},
				confirm: $B.JSObject(window.confirm),
				console:$B.JSObject(window.console),
				document:$B.DOMNode(document),
				doc: $B.DOMNode(document), //want to use document instead of doc
				DOMEvent:$B.DOMEvent,
				DOMNode:$B.DOMNode,
				mouseCoords: function(ev){return $B.JSObject($mouseCoords(ev))},
				prompt: function(message, default_value){
				return $B.JSObject(window.prompt(message, default_value\|\|''))
				},
				reload: function(){
				// Try to reload all scripts and all imported modules
				var scripts=document.getElementsByTagName('script'),$elts=[]
				// Freeze the list of scripts here ; other scripts can be inserted on
				// the fly by viruses
				for(var i=0;i<scripts.length;i++){
				var script = scripts[i]
				if(script.type!="text/python" && script.type!="text/python3"){
				$elts.push(script)
				}
				}
				console.log('scripts to reload', $elts)
				},
				win: $B.win,
				window: $B.win,
				URLParameter:function(name) {
				name = name.replace(/[\[]/, "\\[").replace(/[\]]/, "\\]");
				var regex = new RegExp("[\\?&]" + name + "=([^&#]*)"),
				results = regex.exec(location.search);
				results= results === null ? "" : decodeURIComponent(results[1].replace(/\+/g, " "));
				return $B.builtins.str(results);
				}
				}
				})(__BRYTHON__)