upstream/ipython Files · IPython/frontend/html/notebook/templates/focus.html

Merge pull request from stefanv/htmlnotebook_highlight_markdown...

Merge pull request from stefanv/htmlnotebook_highlight_markdown Add source highlighting to markdown snippets, with a theme matching the CodeMirror one we use. This only highlights source code in blocks that are indented 4 spaces in markdown cells, leaving <pre> blocks alone. If highlight is desired in <pre> blocks, a further <code> block must be created. The visual theme matches the one used for CodeMirror as much as possible.

Brian Granger - - Load All Authors

File last commit:

r4358:8766e94b


                r4658:9460984a

Download file

             focus.html
        
                    87 lines
            
             | 1.8 KiB
            
                | text/html
            
             |
                HtmlLexer
            
             / IPython / frontend / html / notebook / templates / focus.html
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      <!DOCTYPE HTML>

      <html>

      <head>

          <title>Event ordering</title>

          <style>

              div#outer {

                  width: 400px;

                  height: 300px;

                  border: solid 2px black;

              }

              div#inner {

                  width: 80%;

                  height: 80%;

                  border: solid 2px black;

              }

              div#innerinner {

                  width: 80%;

                  height: 80%;

                  border: solid 2px black;

              }

          </style>

      </head>

      <body>

      <div id="outer" tabindex="-1">

          This is the outer div.

          <div id="inner" tabindex="-1">

              This is the inner div.

              <div id="innerinner" tabindex="-1">

                  This is the innerinner div

              </div>

          </div>

      </div>

      <script src="static/jquery/js/jquery-1.6.2.min.js" type="text/javascript" charset="utf-8"></script>

      <script>

          $(document).ready(function () {

              $('div#outer').click(function (e) {

                  console.log("outer.click");

              });

              $('div#outer').focus(function (e) {

                  console.log("outer.focus");

              });

              $('div#outer').focusin(function (e) {

                  console.log("outer.focusin");

              });

              $('div#inner').click(function (e) {

                  console.log("--inner.click");

              });

              $('div#inner').focus(function (e) {

                  console.log("--inner.focus");

              });

              $('div#inner').focusin(function (e) {

                  console.log("--inner.focusin");

                  e.stopPropagation();

              });

              $('div#innerinner').click(function (e) {

                  console.log("----innerinner.click");

              });

              $('div#innerinner').focus(function (e) {

                  console.log("----innerinner.focus");

              });

              $('div#innerinner').focusin(function (e) {

                  console.log("----innerinner.focusin");

              });

          });

      </script>

      </body>

      </html>

	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

				<!DOCTYPE HTML>
				<html>

				<head>

				<title>Event ordering</title>

				<style>
				div#outer {
				width: 400px;
				height: 300px;
				border: solid 2px black;
				}

				div#inner {
				width: 80%;
				height: 80%;
				border: solid 2px black;
				}

				div#innerinner {
				width: 80%;
				height: 80%;
				border: solid 2px black;
				}

				</style>
				</head>

				<body>

				<div id="outer" tabindex="-1">
				This is the outer div.

				<div id="inner" tabindex="-1">
				This is the inner div.
				<div id="innerinner" tabindex="-1">
				This is the innerinner div
				</div>
				</div>

				</div>

				<script src="static/jquery/js/jquery-1.6.2.min.js" type="text/javascript" charset="utf-8"></script>

				<script>
				$(document).ready(function () {
				$('div#outer').click(function (e) {
				console.log("outer.click");
				});
				$('div#outer').focus(function (e) {
				console.log("outer.focus");
				});
				$('div#outer').focusin(function (e) {
				console.log("outer.focusin");
				});

				$('div#inner').click(function (e) {
				console.log("--inner.click");
				});
				$('div#inner').focus(function (e) {
				console.log("--inner.focus");
				});
				$('div#inner').focusin(function (e) {
				console.log("--inner.focusin");
				e.stopPropagation();
				});

				$('div#innerinner').click(function (e) {
				console.log("----innerinner.click");
				});
				$('div#innerinner').focus(function (e) {
				console.log("----innerinner.focus");
				});
				$('div#innerinner').focusin(function (e) {
				console.log("----innerinner.focusin");
				});

				});
				</script>

				</body>

				</html>