mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-11-11 17:01:00 +00:00
1716fd6704
In Chromium-based browsers the lack of padding means the cursor
isn't visible in the textarea when focused. In this case, it's
probably more important for the cursor to be visible than the
lack of padding to make it look more like a terminal.
Bug: T272678
Change-Id: I09ed2933bdac292ee9b9b98a2c8c48d96914d096
(cherry picked from commit
|
||
---|---|---|
.. | ||
ext.scribunto.edit.css | ||
ext.scribunto.edit.js | ||
ext.scribunto.errors.css | ||
ext.scribunto.errors.js | ||
ext.scribunto.logs.css |