jenkins-bot has submitted this change and it was merged.
Change subject: Remove extraneous border in CodeEditor
......................................................................
Remove extraneous border in CodeEditor
Change-Id: Iedfed3e8722cb8440797d692739322d7fdf05b43
---
M modules/jquery.codeEditor.js
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/jquery.codeEditor.js b/modules/jquery.codeEditor.js
index 0523059..15f23cf 100644
--- a/modules/jquery.codeEditor.js
+++ b/modules/jquery.codeEditor.js
@@ -141,7 +141,7 @@
// Ace doesn't like replacing a
textarea directly.
// We'll stub this out to sit on top of
it...
// line-height is needed to compensate
for oddity in WikiEditor extension, which zeroes the line-height on a parent
container
- container =
context.$codeEditorContainer = $( '<div style="position: relative"><div
class="editor" style="line-height: 1.5em; top: 0; left: 0; right: 0; bottom: 0;
border: 1px solid gray; position: absolute;"></div></div>' ).insertAfter( box );
+ container =
context.$codeEditorContainer = $( '<div style="position: relative"><div
class="editor" style="line-height: 1.5em; top: 0; left: 0; right: 0; bottom: 0;
position: absolute;"></div></div>' ).insertAfter( box );
editdiv = container.find( '.editor' );
box.css( 'display', 'none' );
--
To view, visit https://gerrit.wikimedia.org/r/104722
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iedfed3e8722cb8440797d692739322d7fdf05b43
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/CodeEditor
Gerrit-Branch: master
Gerrit-Owner: TheDJ <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Brion VIBBER <[email protected]>
Gerrit-Reviewer: Mattflaschen <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: Umherirrender <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
