TheDJ has uploaded a new change for review.
https://gerrit.wikimedia.org/r/104722
Change subject: Remove extrenious border in CodeEditor
......................................................................
Remove extrenious border in CodeEditor
Change-Id: Iedfed3e8722cb8440797d692739322d7fdf05b43
---
M modules/jquery.codeEditor.js
1 file changed, 4 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/CodeEditor
refs/changes/22/104722/1
diff --git a/modules/jquery.codeEditor.js b/modules/jquery.codeEditor.js
index 88025d0..c507e24 100644
--- a/modules/jquery.codeEditor.js
+++ b/modules/jquery.codeEditor.js
@@ -144,7 +144,10 @@
container.width(box.width())
.height(box.height());
- editdiv.text(box.val()).css( 'position', 'absolute' );
+ editdiv.text(box.val()).css( {
+ position: 'absolute',
+ border: 0
+ });
context.codeEditor = ace.edit(editdiv[0]);
// Disable some annoying commands
--
To view, visit https://gerrit.wikimedia.org/r/104722
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Iedfed3e8722cb8440797d692739322d7fdf05b43
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CodeEditor
Gerrit-Branch: master
Gerrit-Owner: TheDJ <hartman.w...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
