##// END OF EJS Templates
Merge pull request #7586 from Carreau/notif-editor...
Thomas Kluyver -
r20174:a007b654 merge
parent child Browse files
Show More
@@ -162,6 +162,7 b' function($,'
162 162 var that = this;
163 163 // record change generation for isClean
164 164 this.generation = this.codemirror.changeGeneration();
165 that.events.trigger("file_saving.Editor");
165 166 return this.contents.save(this.file_path, model).then(function(data) {
166 167 that.events.trigger("file_saved.Editor", data);
167 168 });
@@ -64,6 +64,7 b' require(['
64 64 '#notification_area', {
65 65 events: events,
66 66 });
67 editor.notification_area = notification_area;
67 68 notification_area.init_notification_widgets();
68 69
69 70 utils.load_extensions_from_config(config);
@@ -17,10 +17,10 b' define(['
17 17 */
18 18 EditorNotificationArea.prototype.init_notification_widgets = function () {
19 19 var that = this;
20 var enw = this.new_notification_widget('editor');
20 var savew = this.new_notification_widget('save');
21 21
22 this.events.on("save_succeeded.TextEditor", function() {
23 enw.set_message("File saved", 2000);
22 this.events.on("file_saved.Editor", function() {
23 savew.set_message("File saved", 2000);
24 24 });
25 25 };
26 26
@@ -5,6 +5,11 b''
5 5 padding: 0px 5px;
6 6 }
7 7
8 #current-mode{
9 padding-left: 5px;
10 padding-right: 5px;
11 }
12
8 13 #texteditor-backdrop {
9 14 padding-top: @page-header-padding;
10 15 padding-bottom: @page-header-padding;
@@ -13,10 +13,6 b''
13 13 max-height: 20em;
14 14 }
15 15
16 #current-mode {
17 margin-right: @padding-large-horizontal;
18 }
19
20 16 .edit_app {
21 17 #header {
22 18 .box-shadow(@global-shadow);
@@ -4,19 +4,19 b''
4 4 }
5 5
6 6 .indicator_area {
7 .pull-right();
7 8 color: @navbar-default-link-color;
8 9 margin-left: 5px;
9 10 margin-right: 5px;
10 11 width: 11px;
11 12 z-index: 10;
12 13 text-align: center;
14 width: auto;
15 border-left: 1px solid;
13 16 }
14 17
15 18 #kernel_indicator {
16 .pull-right();
17 19 .indicator_area();
18 width: auto;
19 border-left: 1px solid;
20 20
21 21 .kernel_indicator_name {
22 22 padding-left: 5px;
@@ -8855,9 +8855,6 b' ul#new-menu {'
8855 8855 overflow: auto;
8856 8856 max-height: 20em;
8857 8857 }
8858 #current-mode {
8859 margin-right: 16px;
8860 }
8861 8858 .edit_app #header {
8862 8859 -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
8863 8860 box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
@@ -8872,6 +8869,10 b' ul#new-menu {'
8872 8869 display: table;
8873 8870 padding: 0px 5px;
8874 8871 }
8872 #current-mode {
8873 padding-left: 5px;
8874 padding-right: 5px;
8875 }
8875 8876 #texteditor-backdrop {
8876 8877 padding-top: 20px;
8877 8878 padding-bottom: 20px;
@@ -10519,12 +10520,16 b' ul#help_menu li a i {'
10519 10520 z-index: 10;
10520 10521 }
10521 10522 .indicator_area {
10523 float: right !important;
10524 float: right;
10522 10525 color: #777777;
10523 10526 margin-left: 5px;
10524 10527 margin-right: 5px;
10525 10528 width: 11px;
10526 10529 z-index: 10;
10527 10530 text-align: center;
10531 width: auto;
10532 border-left: 1px solid;
10528 10533 }
10529 10534 #kernel_indicator {
10530 10535 float: right !important;
@@ -10551,6 +10556,8 b' ul#help_menu li a i {'
10551 10556 width: 11px;
10552 10557 z-index: 10;
10553 10558 text-align: center;
10559 width: auto;
10560 border-left: 1px solid;
10554 10561 }
10555 10562 .edit_mode .modal_indicator:before {
10556 10563 display: inline-block;
@@ -31,6 +31,9 b' data-file-path="{{file_path}}"'
31 31 <div id="menubar">
32 32 <div id="menus" class="navbar navbar-default" role="navigation">
33 33 <div class="container-fluid">
34 <p class="navbar-text indicator_area">
35 <span id="current-mode" >current mode</span>
36 </p>
34 37 <button type="button" class="btn btn-default navbar-toggle" data-toggle="collapse" data-target=".navbar-collapse">
35 38 <i class="fa fa-bars"></i>
36 39 <span class="navbar-text">Menu</span>
@@ -69,7 +72,6 b' data-file-path="{{file_path}}"'
69 72 </ul>
70 73 </li>
71 74 </ul>
72 <p id="current-mode" class="navbar-text navbar-right">current mode</p>
73 75 </div>
74 76 </div>
75 77 </div>
@@ -58,7 +58,7 b' data-notebook-path="{{notebook_path}}"'
58 58 <i class="fa fa-bars"></i>
59 59 <span class="navbar-text">Menu</span>
60 60 </button>
61 <p id="kernel_indicator" class="navbar-text">
61 <p id="kernel_indicator" class="navbar-text indicator_area">
62 62 <span class="kernel_indicator_name">Kernel</span>
63 63 <i id="kernel_indicator_icon"></i>
64 64 </p>
General Comments 0
You need to be logged in to leave comments. Login now