add download link to editor

IPython/html/static/edit/js/menubar.js

@@ -1,155 +1,160 b''
 // Copyright (c) IPython Development Team.
 // Distributed under the terms of the Modified BSD License.
 
 define([
     'jquery',
     'base/js/namespace',
     'base/js/utils',
     'base/js/dialog',
     'codemirror/lib/codemirror',
     'codemirror/mode/meta',
     'bootstrap',
 ], function($, IPython, utils, dialog, CodeMirror) {
     "use strict";
     
     var MenuBar = function (selector, options) {
         /**
          * Constructor
          *
          * A MenuBar Class to generate the menubar of IPython notebook
          *
          * Parameters:
          *  selector: string
          *  options: dictionary
          *      Dictionary of keyword arguments.
          *          codemirror: CodeMirror instance
          *          contents: ContentManager instance
          *          events: $(Events) instance
          *          base_url : string
          *          file_path : string
          */
         options = options || {};
         this.base_url = options.base_url || utils.get_body_data("baseUrl");
         this.selector = selector;
         this.editor = options.editor;
         this.events = options.events;
         this.save_widget = options.save_widget;
 
         if (this.selector !== undefined) {
             this.element = $(selector);
             this.bind_events();
         }
         this._load_mode_menu();
         Object.seal(this);
     };
 
     MenuBar.prototype.bind_events = function () {
         var that = this;
         var editor = that.editor;
         
         //  File
         this.element.find('#new-file').click(function () {
             var w = window.open();
             // Create a new file in the current directory
             var parent = utils.url_path_split(editor.file_path)[0];
             editor.contents.new_untitled(parent, {type: "file"}).then(
                 function (data) {
                     w.location = utils.url_join_encode(
                         that.base_url, 'edit', data.path
                     );
                 },
                 function(error) {
                     w.close();
                     dialog.modal({
                         title : 'Creating New File Failed',
                         body : "The error was: " + error.message,
                         buttons : {'OK' : {'class' : 'btn-primary'}}
                     });
                 }
             );
         });
         this.element.find('#save-file').click(function () {
             editor.save();
         });
         this.element.find('#rename-file').click(function () {
             that.save_widget.rename();
         });
+        this.element.find('#download-file').click(function () {
+            window.open(utils.url_join_encode(
+                that.base_url, 'files', that.editor.file_path
+            ) + '?download=1');
+        });
         
         // Edit
         this.element.find('#menu-find').click(function () {
             editor.codemirror.execCommand("find");
         });
         this.element.find('#menu-replace').click(function () {
             editor.codemirror.execCommand("replace");
         });
         this.element.find('#menu-keymap-default').click(function () {
             editor.update_codemirror_options({
                 vimMode: false,
                 keyMap: 'default'
             });
         });
         this.element.find('#menu-keymap-sublime').click(function () {
             editor.update_codemirror_options({
                 vimMode: false,
                 keyMap: 'sublime'
             });
         });
         this.element.find('#menu-keymap-emacs').click(function () {
             editor.update_codemirror_options({
                 vimMode: false,
                 keyMap: 'emacs'
             });
         });
         this.element.find('#menu-keymap-vim').click(function () {
             editor.update_codemirror_options({
                 vimMode: true,
                 keyMap: 'vim'
             });
         });
         
         // View
         this.element.find('#menu-line-numbers').click(function () {
             var current = editor.codemirror.getOption('lineNumbers');
             var value = Boolean(1-current);
             editor.update_codemirror_options({lineNumbers: value});
         });
         
         this.events.on("config_changed.Editor", function () {
             var keyMap = editor.codemirror.getOption('keyMap') || "default";
             that.element.find(".selected-keymap").removeClass("selected-keymap");
             that.element.find("#menu-keymap-" + keyMap).addClass("selected-keymap");
         });
         
         this.events.on("mode_changed.Editor", function (evt, modeinfo) {
             that.element.find("#current-mode")
                 .text(modeinfo.name)
                 .attr(
                     'title',
                     "The current language is " + modeinfo.name
                 );
         });
     };
     
     MenuBar.prototype._load_mode_menu = function () {
         var list = this.element.find("#mode-menu");
         var editor = this.editor;
         function make_set_mode(info) {
             return function () {
                 editor.set_codemirror_mode(info);
             };
         }
         for (var i = 0; i < CodeMirror.modeInfo.length; i++) {
             var info = CodeMirror.modeInfo[i];
             list.append($("<li>").append(
                 $("<a>").attr("href", "#")
                     .text(info.name)
                     .click(make_set_mode(info))
                     .attr('title',
                         "Set language to " + info.name
                     )
             ));
         }
     };
 
     return {'MenuBar': MenuBar};
 });

IPython/html/templates/edit.html

@@ -1,98 +1,99 b''
 {% 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 bodyclasses %}edit_app {{super()}}{% endblock %}
 
 {% block params %}
 data-base-url="{{base_url}}"
 data-file-path="{{file_path}}"
 {{super()}}
 {% 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">
           <p  class="navbar-text indicator_area">
           <span id="current-mode" >current mode</span>
           </p>
         <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>
+                <li id="download-file"><a href="#">Download</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>
         </div>
       </div>
     </div>
   </div>
 </div>
 
 <div class="lower-header-bar"></div>
 
 {% endblock %}
 
 {% block site %}
 
 <div id="texteditor-backdrop">
 <div id="texteditor-container" class="container"></div>
 </div>
 
 {% endblock %}
 
 {% block script %}
 
     {{super()}}
 
 <script src="{{ static_url("edit/js/main.js") }}" type="text/javascript" charset="utf-8"></script>
 {% endblock %}