wikimedia/mediawiki-extensions-WikiEditor

Fork 0

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-28 10:11:03 +00:00

Commit graph

Author	SHA1	Message	Date
Florianschmidtwelzow	e7251d7dc5	Remove padding from Textbox The padding for wpTextbox1 (on Editpage) conflicts with mediawikui. Bug: 70194 Change-Id: I251256ef17a4ac978cb2d7bbd62daaa84fcc4843	2014-09-14 15:44:10 +02:00
Derk-Jan Hartman	f0505e6dee	Prevent style jumping in WikiEditor Add a new styles module. This module makes sure that the textarea is already properly styled (jumping lineheight bug) before we start the JS. Also hide the toolbar before it's styles have finished loading, so you don't see it being constructed on the fly. Move inline styling for the old toolbar into this stylesheet as well. Bug: 47708 Change-Id: I40bec0a24dbd295db301e7faefb93d8991981acb	2014-05-06 15:03:01 +02:00

Author

SHA1

Message

Date

Florianschmidtwelzow

e7251d7dc5

Remove padding from Textbox

The padding for wpTextbox1 (on Editpage) conflicts with mediawikui.

Bug: 70194
Change-Id: I251256ef17a4ac978cb2d7bbd62daaa84fcc4843

2014-09-14 15:44:10 +02:00

Derk-Jan Hartman

f0505e6dee

Prevent style jumping in WikiEditor

Add a new styles module. This module makes sure that the textarea is
already properly styled (jumping lineheight bug) before we start the
JS. Also hide the toolbar before it's styles have finished loading, so
you don't see it being constructed on the fly. Move inline styling for
the old toolbar into this stylesheet as well.

Bug: 47708
Change-Id: I40bec0a24dbd295db301e7faefb93d8991981acb

2014-05-06 15:03:01 +02:00

2 commits