jenkins-bot has submitted this change and it was merged.
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, 10 insertions(+), 1 deletion(-)
Approvals:
Smalyshev: Looks good to me, approved
jenkins-bot: Verified
diff --git a/gui/gui.js b/gui/gui.js
index 6ba4f86..355a383 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,
diff --git a/gui/style.css b/gui/style.css
index 97669ff..b9bf4b5 100644
--- a/gui/style.css
+++ b/gui/style.css
@@ -27,6 +27,14 @@
background-color: inherit;
}
+.CodeMirror {
+ border: 1px solid #ccc;
+ height: auto!important;
+}
+
+.CodeMirror-scroll {
+ min-height: 300px;
+}
.exampleQueries{
width:160px;
--
To view, visit https://gerrit.wikimedia.org/r/250995
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia927a010e999f3e41d89e7633d388d12f0785f48
Gerrit-PatchSet: 2
Gerrit-Project: wikidata/query/rdf
Gerrit-Branch: master
Gerrit-Owner: Jonas Kress (WMDE) <[email protected]>
Gerrit-Reviewer: JanZerebecki <[email protected]>
Gerrit-Reviewer: Smalyshev <[email protected]>
Gerrit-Reviewer: Thiemo Mättig (WMDE) <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
