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