upstream/ipython Files · IPython/html/templates/edit.html

load the per kernel kernel.js and kernel.css...

load the per kernel kernel.js and kernel.css As per discussion, each kernel can provide a file name kernel.js that we try to load at kernel switching. If such a file exist we assume that the kernel pathches the javasscript and that this javascript cannot be unpatched, and further switching of the kernel cannot be undone without reloading the page. (separate PR for UI) if a kernel provide kernel.js, the it should consist into a AMD module definition that uses require.js the module shoudl define a function name `onload` that will be called at the appropriate moment before the kernel starts.

Min RK - - Load All Authors

File last commit:

r19338:c8d934d0


                r19404:106cf164

Download file

             edit.html
        
                    92 lines
            
             | 3.2 KiB
            
                | text/html
            
             |
                HtmlLexer
            
             / IPython / html / templates / edit.html
          
                    History
                
                 |
                  Source
                 | Raw
                 |Copy content
                 |Copy permalink

        Thomas Kluyver
    
Basic infrastructure for new texteditor component

              r19010
            
      {% extends "page.html" %}

      {% block title %}{{page_title}}{% endblock %}

        Thomas Kluyver
    
Loading a file works

              r19011
            
      {% block stylesheet %}

      <link rel="stylesheet" href="{{ static_url('components/codemirror/lib/codemirror.css') }}">

        Thomas Kluyver
    
Enable codemirror search/replace shortcuts

              r19014
            
      <link rel="stylesheet" href="{{ static_url('components/codemirror/addon/dialog/dialog.css') }}">

        Thomas Kluyver
    
Loading a file works

              r19011
            
      {{super()}}

      {% endblock %}

        Thomas Kluyver
    
Basic infrastructure for new texteditor component

              r19010
            
      {% block params %}

      data-base-url="{{base_url}}"

        Thomas Kluyver
    
Loading a file works

              r19011
            
      data-file-path="{{file_path}}"

        Thomas Kluyver
    
Basic infrastructure for new texteditor component

              r19010
            
      {% endblock %}

        Min RK
    
update edit page blocks after layout changes

              r19318
            
      {% block headercontainer %}

        Thomas Kluyver
    
Add filename to header area

              r19040
            
        Min RK
    
update edit page blocks after layout changes

              r19318
            
      <span id="save_widget" class="pull-left save_widget">

        Min RK
    
add save widget to text editor

              r19316
            
          <span class="filename"></span>

          <span class="last_modified"></span>

      </span>

        Thomas Kluyver
    
Add filename to header area

              r19040
            
      {% endblock %}

        Min RK
    
update edit page blocks after layout changes

              r19318
            
      {% block header %}

        Thomas Kluyver
    
Basic infrastructure for new texteditor component

              r19010
            
        Thomas Kluyver
    
Saving files works

              r19012
            
      <div id="menubar-container" class="container">

        Min RK
    
editor progress...

              r19303
            
        <div id="menubar">

        Thomas Kluyver
    
Saving files works

              r19012
            
          <div id="menus" class="navbar navbar-default" role="navigation">

        Min RK
    
editor progress...

              r19303
            
            <div class="container-fluid">

              <button type="button" class="btn btn-default navbar-toggle" data-toggle="collapse" data-target=".navbar-collapse">

                <i class="fa fa-bars"></i>

                <span class="navbar-text">Menu</span>

              </button>

              <ul class="nav navbar-nav navbar-right">

                <li id="notification_area"></li>

              </ul>

              <div class="navbar-collapse collapse">

                <ul class="nav navbar-nav">

                  <li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">File</a>

                    <ul id="file-menu" class="dropdown-menu">

                      <li id="new-file"><a href="#">New</a></li>

                      <li id="save-file"><a href="#">Save</a></li>

        Min RK
    
add File/Rename

              r19317
            
                      <li id="rename-file"><a href="#">Rename</a></li>

        Thomas Kluyver
    
Saving files works

              r19012
            
                    </ul>

        Min RK
    
editor progress...

              r19303
            
                  </li>

                  <li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">Edit</a>

                    <ul id="edit-menu" class="dropdown-menu">

                      <li id="menu-find"><a href="#">Find</a></li>

                      <li id="menu-replace"><a href="#">Find &amp; Replace</a></li>

        Min RK
    
allow selecting codemirror keymap in menu

              r19306
            
                      <li class="divider"></li>

        Min RK
    
fixup keyMap

              r19310
            
                      <li class="dropdown-header">Key Map</li>

        Min RK
    
allow selecting codemirror keymap in menu

              r19306
            
                      <li id="menu-keymap-default"><a href="#">Default<i class="fa"></i></a></li>

                      <li id="menu-keymap-sublime"><a href="#">Sublime Text<i class="fa"></i></a></li>

                      <li id="menu-keymap-vim"><a href="#">Vim<i class="fa"></i></a></li>

                      <li id="menu-keymap-emacs"><a href="#">emacs<i class="fa"></i></a></li>

        Min RK
    
editor progress...

              r19303
            
                    </ul>

                  </li>

                  <li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">View</a>

                    <ul id="view-menu" class="dropdown-menu">

        Min RK
    
Toggle line numbers in menu...

              r19320
            
                      <li id="menu-line-numbers"><a href="#">Toggle Line Numbers</a></li>

        Min RK
    
editor progress...

              r19303
            
                    </ul>

                  </li>

        Min RK
    
s/mode/language/...

              r19338
            
                  <li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">Language</a>

        Min RK
    
add Mode menu to editor

              r19319
            
                    <ul id="mode-menu" class="dropdown-menu">

                    </ul>

                  </li>

        Min RK
    
editor progress...

              r19303
            
                </ul>

        Min RK
    
add Mode menu to editor

              r19319
            
                <p id="current-mode" class="navbar-text navbar-right">current mode</p>

        Thomas Kluyver
    
Saving files works

              r19012
            
              </div>

        Min RK
    
editor progress...

              r19303
            
            </div>

        Thomas Kluyver
    
Saving files works

              r19012
            
          </div>

        Min RK
    
editor progress...

              r19303
            
        </div>

        Thomas Kluyver
    
Saving files works

              r19012
            
      </div>

        Min RK
    
update edit page blocks after layout changes

              r19318
            
      {% endblock %}

      {% block site %}

        Thomas Kluyver
    
Styling to make it clearer where the editor is

              r19019
            
      <div id="texteditor-container" class="container"></div>

        Thomas Kluyver
    
Basic infrastructure for new texteditor component

              r19010
            
      {% endblock %}

      {% block script %}

          {{super()}}

        Thomas Kluyver
    
Rename texteditor files & folders to edit

              r19074
            
      <script src="{{ static_url("edit/js/main.js") }}" type="text/javascript" charset="utf-8"></script>

        Thomas Kluyver
    
Basic infrastructure for new texteditor component

              r19010
            
      {% endblock %}

	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

Thomas Kluyver Basic infrastructure for new texteditor component	r19010	{% extends "page.html" %}

		{% block title %}{{page_title}}{% endblock %}

Thomas Kluyver Loading a file works	r19011	{% block stylesheet %}
		<link rel="stylesheet" href="{{ static_url('components/codemirror/lib/codemirror.css') }}">
Thomas Kluyver Enable codemirror search/replace shortcuts	r19014	<link rel="stylesheet" href="{{ static_url('components/codemirror/addon/dialog/dialog.css') }}">
Thomas Kluyver Loading a file works	r19011	{{super()}}
		{% endblock %}

Thomas Kluyver Basic infrastructure for new texteditor component	r19010	{% block params %}

		data-base-url="{{base_url}}"
Thomas Kluyver Loading a file works	r19011	data-file-path="{{file_path}}"
Thomas Kluyver Basic infrastructure for new texteditor component	r19010
		{% endblock %}

Min RK update edit page blocks after layout changes	r19318	{% block headercontainer %}
Thomas Kluyver Add filename to header area	r19040
Min RK update edit page blocks after layout changes	r19318	<span id="save_widget" class="pull-left save_widget">
Min RK add save widget to text editor	r19316	<span class="filename"></span>
		<span class="last_modified"></span>
		</span>
Thomas Kluyver Add filename to header area	r19040
		{% endblock %}

Min RK update edit page blocks after layout changes	r19318	{% block header %}
Thomas Kluyver Basic infrastructure for new texteditor component	r19010
Thomas Kluyver Saving files works	r19012	<div id="menubar-container" class="container">
Min RK editor progress...	r19303	<div id="menubar">
Thomas Kluyver Saving files works	r19012	<div id="menus" class="navbar navbar-default" role="navigation">
Min RK editor progress...	r19303	<div class="container-fluid">
		<button type="button" class="btn btn-default navbar-toggle" data-toggle="collapse" data-target=".navbar-collapse">
		<i class="fa fa-bars"></i>
		<span class="navbar-text">Menu</span>
		</button>
		<ul class="nav navbar-nav navbar-right">
		<li id="notification_area"></li>
		</ul>
		<div class="navbar-collapse collapse">
		<ul class="nav navbar-nav">
		<li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">File</a>
		<ul id="file-menu" class="dropdown-menu">
		<li id="new-file"><a href="#">New</a></li>
		<li id="save-file"><a href="#">Save</a></li>
Min RK add File/Rename	r19317	<li id="rename-file"><a href="#">Rename</a></li>
Thomas Kluyver Saving files works	r19012	</ul>
Min RK editor progress...	r19303	</li>
		<li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">Edit</a>
		<ul id="edit-menu" class="dropdown-menu">
		<li id="menu-find"><a href="#">Find</a></li>
		<li id="menu-replace"><a href="#">Find & Replace</a></li>
Min RK allow selecting codemirror keymap in menu	r19306	<li class="divider"></li>
Min RK fixup keyMap	r19310	<li class="dropdown-header">Key Map</li>
Min RK allow selecting codemirror keymap in menu	r19306	<li id="menu-keymap-default"><a href="#">Default<i class="fa"></i></a></li>
		<li id="menu-keymap-sublime"><a href="#">Sublime Text<i class="fa"></i></a></li>
		<li id="menu-keymap-vim"><a href="#">Vim<i class="fa"></i></a></li>
		<li id="menu-keymap-emacs"><a href="#">emacs<i class="fa"></i></a></li>
Min RK editor progress...	r19303	</ul>
		</li>
		<li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">View</a>
		<ul id="view-menu" class="dropdown-menu">
Min RK Toggle line numbers in menu...	r19320	<li id="menu-line-numbers"><a href="#">Toggle Line Numbers</a></li>
Min RK editor progress...	r19303	</ul>
		</li>
Min RK s/mode/language/...	r19338	<li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">Language</a>
Min RK add Mode menu to editor	r19319	<ul id="mode-menu" class="dropdown-menu">
		</ul>
		</li>
Min RK editor progress...	r19303	</ul>
Min RK add Mode menu to editor	r19319	<p id="current-mode" class="navbar-text navbar-right">current mode</p>
Thomas Kluyver Saving files works	r19012	</div>
Min RK editor progress...	r19303	</div>
Thomas Kluyver Saving files works	r19012	</div>
Min RK editor progress...	r19303	</div>
Thomas Kluyver Saving files works	r19012	</div>

Min RK update edit page blocks after layout changes	r19318	{% endblock %}

		{% block site %}


Thomas Kluyver Styling to make it clearer where the editor is	r19019	<div id="texteditor-container" class="container"></div>
Thomas Kluyver Basic infrastructure for new texteditor component	r19010
		{% endblock %}

		{% block script %}

		{{super()}}

Thomas Kluyver Rename texteditor files & folders to edit	r19074	<script src="{{ static_url("edit/js/main.js") }}" type="text/javascript" charset="utf-8"></script>
Thomas Kluyver Basic infrastructure for new texteditor component	r19010	{% endblock %}