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

This feature was discussed in , but it doesn't look like anything was ever incorporated into the IPython Notebook....

This feature was discussed in , but it doesn't look like anything was ever incorporated into the IPython Notebook. Here's a brief overview of the changes: - Display of messages from other clients can be toggled on and off from within a notebook, either using the ``<M-m>e`` keyboard shortcut in the web UI, or through the option in the "Kernel" menu. - notebook.js controls whether messages are displayed through a callback that is invoked from kernel.js when no callbacks are available for a message. - The UI displays ``execute_input`` messages originating from an other clients in new cells at the end of the notebook. Output messages (``execute_result`` et al.) will only be displayed if a cell exists with a matching message ID. Pending design questions: - Should each ``execute_input`` message cause a new cell to be created? - Should new cells be placed at the end of the notebook, or elsewhere? If the latter, what criteria should be followed?

Bussonnier Matthias - - Load All Authors

File last commit:

r18489:2bdaec39


                r19164:17ac8ca3

Download file

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

      define ([], function() {

          function make_terminal(element, size, ws_url) {

              var ws = new WebSocket(ws_url);

              var term = new Terminal({

                cols: size.cols,

                rows: size.rows,

                screenKeys: true,

                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) {

                      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() {
				function make_terminal(element, size, ws_url) {
				var ws = new WebSocket(ws_url);
				var term = new Terminal({
				cols: size.cols,
				rows: size.rows,
				screenKeys: true,
				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) {
				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};
				});