##// END OF EJS Templates
Merge pull request #5403 from minrk/alt-shortcut-bad...
Min RK -
r15908:4b75b59b merge
parent child Browse files
Show More
@@ -81,3 +81,10 b' span#login_widget {'
81 .modal-body {
81 .modal-body {
82 max-height: 500px;
82 max-height: 500px;
83 }
83 }
84
85 @media (min-width: 768px) {
86 .modal {
87 width: 700px;
88 margin-left: -350px;
89 }
90 }
@@ -141,7 +141,7 b' var IPython = (function (IPython) {'
141 }
141 }
142 }
142 }
143 },
143 },
144 'alt--' : {
144 'ctrl-shift--' : {
145 help : 'split cell',
145 help : 'split cell',
146 help_index : 'ea',
146 help_index : 'ea',
147 handler : function (event) {
147 handler : function (event) {
@@ -149,7 +149,7 b' var IPython = (function (IPython) {'
149 return false;
149 return false;
150 }
150 }
151 },
151 },
152 'alt-subtract' : {
152 'ctrl-shift-subtract' : {
153 help : '',
153 help : '',
154 help_index : 'eb',
154 help_index : 'eb',
155 handler : function (event) {
155 handler : function (event) {
@@ -109,8 +109,8 b' var IPython = (function (IPython) {'
109 var i, half, n;
109 var i, half, n;
110 var div = $('<div/>').append($(title));
110 var div = $('<div/>').append($(title));
111 var sub_div = $('<div/>').addClass('hbox');
111 var sub_div = $('<div/>').addClass('hbox');
112 var col1 = $('<div/>').addClass('box-flex0');
112 var col1 = $('<div/>').addClass('box-flex1');
113 var col2 = $('<div/>').addClass('box-flex0');
113 var col2 = $('<div/>').addClass('box-flex1');
114 n = shortcuts.length;
114 n = shortcuts.length;
115 half = ~~(n/2); // Truncate :)
115 half = ~~(n/2); // Truncate :)
116 for (i=0; i<half; i++) { col1.append( build_one(shortcuts[i]) ); }
116 for (i=0; i<half; i++) { col1.append( build_one(shortcuts[i]) ); }
@@ -1,11 +1,15 b''
1 .quickhelp {
2 .hbox();
3 }
1 .shortcut_key {
4 .shortcut_key {
2 display: inline-block;
5 display: inline-block;
3 width: 16ex;
6 width: 20ex;
4 text-align: right;
7 text-align: right;
5 font-family: @monoFontFamily;
8 font-family: @monoFontFamily;
6 }
9 }
7
10
8 .shortcut_descr {
11 .shortcut_descr {
9 display: inline-block;
12 display: inline-block;
13 .box-flex1();
10 }
14 }
11
15
@@ -1303,7 +1303,7 b' span#login_widget{float:right}'
1303 .navbar-nobg{background-color:transparent;background-image:none}
1303 .navbar-nobg{background-color:transparent;background-image:none}
1304 #header>span{margin-top:10px}
1304 #header>span{margin-top:10px}
1305 .modal-body{max-height:500px}
1305 .modal-body{max-height:500px}
1306 .center-nav{display:inline-block;margin-bottom:-4px}
1306 @media (min-width:768px){.modal{width:700px;margin-left:-350px}}.center-nav{display:inline-block;margin-bottom:-4px}
1307 .alternate_upload{background-color:none;display:inline}
1307 .alternate_upload{background-color:none;display:inline}
1308 .alternate_upload.form{padding:0;margin:0}
1308 .alternate_upload.form{padding:0;margin:0}
1309 .alternate_upload input.fileinput{background-color:#f00;position:relative;opacity:0;z-index:2;width:295px;margin-left:163px;cursor:pointer;height:26px}
1309 .alternate_upload input.fileinput{background-color:#f00;position:relative;opacity:0;z-index:2;width:295px;margin-left:163px;cursor:pointer;height:26px}
@@ -1516,8 +1516,9 b' ul#help_menu li a{overflow:hidden;padding-right:2.2em}ul#help_menu li a i{margin'
1516 div#pager_splitter{height:8px}
1516 div#pager_splitter{height:8px}
1517 #pager-container{position:relative;padding:15px 0}
1517 #pager-container{position:relative;padding:15px 0}
1518 div#pager{font-size:14px;line-height:20px;overflow:auto;display:none}div#pager pre{font-size:13px;line-height:1.21429em;color:#000;background-color:#f7f7f7;padding:.4em}
1518 div#pager{font-size:14px;line-height:20px;overflow:auto;display:none}div#pager pre{font-size:13px;line-height:1.21429em;color:#000;background-color:#f7f7f7;padding:.4em}
1519 .shortcut_key{display:inline-block;width:16ex;text-align:right;font-family:monospace}
1519 .quickhelp{display:-webkit-box;-webkit-box-orient:horizontal;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:horizontal;-moz-box-align:stretch;display:box;box-orient:horizontal;box-align:stretch;display:flex;flex-direction:row;align-items:stretch}
1520 .shortcut_descr{display:inline-block}
1520 .shortcut_key{display:inline-block;width:20ex;text-align:right;font-family:monospace}
1521 .shortcut_descr{display:inline-block;-webkit-box-flex:1;-moz-box-flex:1;box-flex:1;flex:1}
1521 span#save_widget{padding:0 5px;margin-top:12px}
1522 span#save_widget{padding:0 5px;margin-top:12px}
1522 span#checkpoint_status,span#autosave_status{font-size:small}
1523 span#checkpoint_status,span#autosave_status{font-size:small}
1523 @media (max-width:767px){span#save_widget{font-size:small} span#checkpoint_status,span#autosave_status{font-size:x-small}}@media (max-width:767px){span#checkpoint_status,span#autosave_status{display:none}}@media (min-width:768px) and (max-width:979px){span#checkpoint_status{display:none} span#autosave_status{font-size:x-small}}.toolbar{padding:0 10px;margin-top:-5px}.toolbar select,.toolbar label{width:auto;height:26px;vertical-align:middle;margin-right:2px;margin-bottom:0;display:inline;font-size:92%;margin-left:.3em;margin-right:.3em;padding:0;padding-top:3px}
1524 @media (max-width:767px){span#save_widget{font-size:small} span#checkpoint_status,span#autosave_status{font-size:x-small}}@media (max-width:767px){span#checkpoint_status,span#autosave_status{display:none}}@media (min-width:768px) and (max-width:979px){span#checkpoint_status{display:none} span#autosave_status{font-size:x-small}}.toolbar{padding:0 10px;margin-top:-5px}.toolbar select,.toolbar label{width:auto;height:26px;vertical-align:middle;margin-right:2px;margin-bottom:0;display:inline;font-size:92%;margin-left:.3em;margin-right:.3em;padding:0;padding-top:3px}
General Comments 0
You need to be logged in to leave comments. Login now