upstream/ipython Files · IPython/html/static/terminal/js/terminado.js

DOC: Warn the user when they pass `default` to a TraitType....

DOC: Warn the user when they pass `default` to a TraitType. Most TraitType subclasses accept a `default_value` parameter. On more occasions than I care to admit, I've written something like: ``` class Foo(HasTraits): foo_int = Integer(default=5) ``` when what I actually meant was ``` class Foo(HasTraits): foo_int = Integer(default_value=5) ``` I suspect I'm not the only one who's had to track down this same bug multiple times.

Min RK - - Load All Authors

File last commit:

r20405:8274a461


                r20649:fbe6a44e

Download file

             terminado.js
        
                    41 lines
            
             | 1.3 KiB
            
                | application/javascript
            
             |
                JavascriptLexer
            
             / IPython / html / static / terminal / js / terminado.js
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      define ([], function() {

          "use strict";

          function make_terminal(element, size, ws_url) {

              var ws = new WebSocket(ws_url);

              Terminal.brokenBold = true;

              var term = new Terminal({

                cols: size.cols,

                rows: size.rows,

                screenKeys: false,

                useStyle: false

              });

              ws.onopen = function(event) {

                  ws.send(JSON.stringify(["set_size", size.rows, size.cols,

                                              window.innerHeight, window.innerWidth]));

                  term.on('data', function(data) {

                      ws.send(JSON.stringify(['stdin', data]));

                  });

                  term.on('title', function(title) {

                      document.title = title;

                  });

                  term.open(element);

                  ws.onmessage = function(event) {

                      var json_msg = JSON.parse(event.data);

                      switch(json_msg[0]) {

                          case "stdout":

                              term.write(json_msg[1]);

                              break;

                          case "disconnect":

                              term.write("\r\n\r\n[CLOSED]\r\n");

                              break;

                      }

                  };

              };

              return {socket: ws, term: term};

          }

          return {make_terminal: make_terminal};

      });

	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
g 0-9	Goto bookmarked items from 0-9
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 access permissions settings
t s	Toggle sidebar on some pages

				define ([], function() {
				"use strict";
				function make_terminal(element, size, ws_url) {
				var ws = new WebSocket(ws_url);
				Terminal.brokenBold = true;
				var term = new Terminal({
				cols: size.cols,
				rows: size.rows,
				screenKeys: false,
				useStyle: false
				});
				ws.onopen = function(event) {
				ws.send(JSON.stringify(["set_size", size.rows, size.cols,
				window.innerHeight, window.innerWidth]));
				term.on('data', function(data) {
				ws.send(JSON.stringify(['stdin', data]));
				});

				term.on('title', function(title) {
				document.title = title;
				});

				term.open(element);

				ws.onmessage = function(event) {
				var json_msg = JSON.parse(event.data);
				switch(json_msg[0]) {
				case "stdout":
				term.write(json_msg[1]);
				break;
				case "disconnect":
				term.write("\r\n\r\n[CLOSED]\r\n");
				break;
				}
				};
				};
				return {socket: ws, term: term};
				}

				return {make_terminal: make_terminal};
				});