|
|
@ -605,7 +605,8 @@ require(['vs/editor/editor.main'], function () { |
|
|
|
vertical: 'hidden' |
|
|
|
vertical: 'hidden' |
|
|
|
}, |
|
|
|
}, |
|
|
|
overviewRulerBorder: false, |
|
|
|
overviewRulerBorder: false, |
|
|
|
hideCursorInOverviewRuler: true |
|
|
|
hideCursorInOverviewRuler: true, |
|
|
|
|
|
|
|
contextmenu: false |
|
|
|
}); |
|
|
|
}); |
|
|
|
}; |
|
|
|
}; |
|
|
|
|
|
|
|
|
|
|
@ -644,7 +645,8 @@ require(['vs/editor/editor.main'], function () { |
|
|
|
verticalScrollbarSize: 10 |
|
|
|
verticalScrollbarSize: 10 |
|
|
|
}, |
|
|
|
}, |
|
|
|
overviewRulerBorder: false, |
|
|
|
overviewRulerBorder: false, |
|
|
|
hideCursorInOverviewRuler: true |
|
|
|
hideCursorInOverviewRuler: true, |
|
|
|
|
|
|
|
contextmenu: false |
|
|
|
}); |
|
|
|
}); |
|
|
|
|
|
|
|
|
|
|
|
input.form.addEventListener('submit', function () { |
|
|
|
input.form.addEventListener('submit', function () { |
|
|
|