梁美英 / programming · Commits

Commit 9f44196aa74cbd91e70373f176ebee4ad6606141

Authored by ykxie
1 parent 40ac1b9b

全屏样式

Inline Side-by-side
Showing 5 changed files with 7 additions and 4 deletions
dist/css/cm-theme/vibrant-ink.css
  View file @9f44196
1 -/* Taken from the popular Visual Studio Vibrant Ink Schema */ 1 +/* Taken from the popular Visual Studio Vibrant Ink Schema */
2 2
3 .cm-s-vibrant-ink { background: black; color: white; } 3 .cm-s-vibrant-ink { background: black; color: white; }
4 .cm-s-vibrant-ink .CodeMirror-selected { background: #35493c !important; } 4 .cm-s-vibrant-ink .CodeMirror-selected { background: #35493c !important; }
dist/gxb-ide/Iterm.js
  View file @9f44196
@@ -247,6 +247,9 @@ @@ -247,6 +247,9 @@
247 } else if (document.webkitExitFullscreen) { 247 } else if (document.webkitExitFullscreen) {
248 document.webkitExitFullscreen(); 248 document.webkitExitFullscreen();
249 } 249 }
  250 +
  251 + $('.CodeMirror-gutter').css('display','block');
  252 + $('.console-wrap').css('paddingLeft','204px');
250 } 253 }
251 254
252 window.Iterm = Iterm 255 window.Iterm = Iterm
dist/js/gbdebug/mode/ecl/index.html
  View file @9f44196
1 -<!doctype html> 1 +<!doctype html>
2 <html> 2 <html>
3 <head> 3 <head>
4 <title>CodeMirror: ECL mode</title> 4 <title>CodeMirror: ECL mode</title>
dist/js/recorder/Myna.js
  View file @9f44196
1 -(function(window) { 1 +(function(window) {
2 //兼容 2 //兼容
3 window.URL = window.URL || window.webkitURL; 3 window.URL = window.URL || window.webkitURL;
4 navigator.getUserMedia = navigator.getUserMedia || navigator.webkitGetUserMedia || navigator.mozGetUserMedia || navigator.msGetUserMedia; 4 navigator.getUserMedia = navigator.getUserMedia || navigator.webkitGetUserMedia || navigator.mozGetUserMedia || navigator.msGetUserMedia;
dist/js/recorder1/Myna.js
  View file @9f44196
1 -(function(window) { 1 +(function(window) {
2 //兼容 2 //兼容
3 window.URL = window.URL || window.webkitURL; 3 window.URL = window.URL || window.webkitURL;
4 navigator.getUserMedia = navigator.getUserMedia || navigator.webkitGetUserMedia || navigator.mozGetUserMedia || navigator.msGetUserMedia; 4 navigator.getUserMedia = navigator.getUserMedia || navigator.webkitGetUserMedia || navigator.mozGetUserMedia || navigator.msGetUserMedia;