##// END OF EJS Templates
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.

File last commit:

r19338:c8d934d0
r19404:106cf164
Show More
edit.html
92 lines | 3.2 KiB | text/html | HtmlLexer
{% extends "page.html" %}
{% block title %}{{page_title}}{% endblock %}
{% block stylesheet %}
<link rel="stylesheet" href="{{ static_url('components/codemirror/lib/codemirror.css') }}">
<link rel="stylesheet" href="{{ static_url('components/codemirror/addon/dialog/dialog.css') }}">
{{super()}}
{% endblock %}
{% block params %}
data-base-url="{{base_url}}"
data-file-path="{{file_path}}"
{% endblock %}
{% block headercontainer %}
<span id="save_widget" class="pull-left save_widget">
<span class="filename"></span>
<span class="last_modified"></span>
</span>
{% endblock %}
{% block header %}
<div id="menubar-container" class="container">
<div id="menubar">
<div id="menus" class="navbar navbar-default" role="navigation">
<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>
<li id="rename-file"><a href="#">Rename</a></li>
</ul>
</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>
<li class="divider"></li>
<li class="dropdown-header">Key Map</li>
<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>
</ul>
</li>
<li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">View</a>
<ul id="view-menu" class="dropdown-menu">
<li id="menu-line-numbers"><a href="#">Toggle Line Numbers</a></li>
</ul>
</li>
<li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">Language</a>
<ul id="mode-menu" class="dropdown-menu">
</ul>
</li>
</ul>
<p id="current-mode" class="navbar-text navbar-right">current mode</p>
</div>
</div>
</div>
</div>
</div>
{% endblock %}
{% block site %}
<div id="texteditor-container" class="container"></div>
{% endblock %}
{% block script %}
{{super()}}
<script src="{{ static_url("edit/js/main.js") }}" type="text/javascript" charset="utf-8"></script>
{% endblock %}