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