Jonas Kress (WMDE) has uploaded a new change for review.
https://gerrit.wikimedia.org/r/250995
Change subject: Enables codemirror editor to resize dynamically to its content
......................................................................
Enables codemirror editor to resize dynamically to its content
Change-Id: Ia927a010e999f3e41d89e7633d388d12f0785f48
---
M gui/gui.js
M gui/style.css
2 files changed, 7 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/wikidata/query/rdf
refs/changes/95/250995/1
diff --git a/gui/gui.js b/gui/gui.js
index 6ba4f86..8421a84 100644
--- a/gui/gui.js
+++ b/gui/gui.js
@@ -55,7 +55,8 @@
lineNumbers: true,
matchBrackets: true,
mode: 'sparql',
- extraKeys: { 'Ctrl-Space': 'autocomplete' }
+ extraKeys: { 'Ctrl-Space': 'autocomplete' },
+ viewportMargin: Infinity
},
ERROR_LINE_MARKER = null,
ERROR_CHARACTER_MARKER = null,
@@ -322,6 +323,7 @@
}
} );
EDITOR.addKeyMap( { 'Ctrl-Enter': submitQuery } );
+ EDITOR.setValue('\n\n\n\n\n\n\n\n');
EDITOR.focus();
new WikibaseRDFTooltip(EDITOR);
diff --git a/gui/style.css b/gui/style.css
index 97669ff..43708ab 100644
--- a/gui/style.css
+++ b/gui/style.css
@@ -27,6 +27,10 @@
background-color: inherit;
}
+.CodeMirror {
+ border: 1px solid #eee;
+ height: auto!important;
+}
.exampleQueries{
width:160px;
--
To view, visit https://gerrit.wikimedia.org/r/250995
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ia927a010e999f3e41d89e7633d388d12f0785f48
Gerrit-PatchSet: 1
Gerrit-Project: wikidata/query/rdf
Gerrit-Branch: master
Gerrit-Owner: Jonas Kress (WMDE) <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
