Editor padding and environment edit modal fix

This commit is contained in:
Gregory Schier committed 2016-07-29 09:29:14 -07:00
1 parent bc3304bed5
commit 0fa41ba955
4 files changed
+5 -7

No files matched your search

+1 -1
View File
@@ -1,7 +1,7 @@
{
"private": true,
"name": "insomnia",
"version": "3.0.13",
"version": "3.0.14",
"productName": "Insomnia",
"longName": "Insomnia HTTP Client",
"description": "The best REST API Client",
+1 -4
View File
@@ -28,8 +28,6 @@ import 'codemirror/addon/display/autorefresh'
import 'codemirror/addon/search/search'
import 'codemirror/addon/search/searchcursor'
import 'codemirror/addon/selection/active-line'
import 'codemirror/addon/search/matchesonscrollbar'
import 'codemirror/addon/search/matchesonscrollbar.css'
@@ -56,13 +54,12 @@ const BASE_CODEMIRROR_OPTIONS = {
tabSize: 4,
indentUnit: 4,
indentWithTabs: true,
// styleActiveLine: true,
gutters: [
'CodeMirror-linenumbers',
'CodeMirror-foldgutter',
'CodeMirror-lint-markers'
],
cursorScrollMargin: 80,
cursorScrollMargin: 12, // NOTE: This is px
extraKeys: {
"Ctrl-Q": function (cm) {
cm.foldCode(cm.getCursor());
@@ -55,7 +55,7 @@ class EnvironmentEditModal extends ModalComponent {
}
render () {
const {environmentJSON} = this.state;
const {environmentJSON, requestGroup} = this.state;
return (
<Modal ref="modal" top={true} {...this.props}>
@@ -63,6 +63,7 @@ class EnvironmentEditModal extends ModalComponent {
<ModalBody>
<div className="pad-bottom">
<Editor
key={requestGroup ? requestGroup._id : 'n/a'}
onChange={this._handleChange.bind(this)}
value={environmentJSON}
lightTheme={true}
+1 -1
View File
@@ -35,7 +35,7 @@
.CodeMirror-lines {
// Scroll past the end
//padding-bottom: 50px;
padding-bottom: 50px;
}
.CodeMirror-placeholder {