Go to file
Bartosz Dziewoński d5a1b7bc2b ReplyWidget: Ensure scrollbar doesn't appear in source mode
Even though the field is supposed to resize itself to match the text
inside, vertical scrollbar would sometimes appear when the user has
zoomed in. Some calculation probably handles fractions of pixels
incorrectly (might be a bug in OOUI or a browser bug).

Since this field has no limit on max rows, we can just hide the
scrollbar. This can't be fixed in OOUI itself, since its autosize text
fields usually have a limit to how tall they are allowed to grow
before a scrollbar is used.

Bug: T267609
Change-Id: Id36ed417c4678e469a6c05715404e330064c2017
2020-11-10 12:20:30 +01:00
.phan build: Add mediawiki/mediawiki-phan-config 2020-06-10 22:21:07 +02:00
i18n Localisation updates from https://translatewiki.net. 2020-11-09 08:34:38 +01:00
images Add beta feature preference 2020-02-21 15:20:48 +00:00
includes Merge "Move ID->title logic into HeadingItem" 2020-11-05 18:10:08 +00:00
maintenance Defensive use of dynamic paths in maintenance script 2020-02-20 19:51:07 +01:00
modules ReplyWidget: Ensure scrollbar doesn't appear in source mode 2020-11-10 12:20:30 +01:00
tests Don't detect comments within headings 2020-11-04 21:57:33 +01:00
.eslintrc.json build: Update devDependencies 2020-06-09 19:42:05 +01:00
.gitignore Remove extra blank line from .gitignore file 2020-08-31 15:24:56 +01:00
.gitreview Add .gitreview 2019-10-09 21:18:34 +00:00
.phpcs.xml build: Updating mediawiki/mediawiki-codesniffer to 32.0.0 2020-10-29 10:53:01 +00:00
.stylelintrc.json build: Updating mediawiki/mediawiki-codesniffer to 29.0.0 2020-01-14 04:55:38 +00:00
CODE_OF_CONDUCT.md build: Updating npm dependencies 2020-01-09 06:43:15 +00:00
composer.json build: Updating mediawiki/mediawiki-codesniffer to 33.0.0 2020-11-03 17:39:19 +00:00
COPYING Add required files for an extension 2019-10-10 19:42:56 +01:00
extension.json Enable DT server side via a cookie to preserve user enable hack 2020-10-19 21:42:58 +01:00
Gruntfile.js build: Update devDependencies 2020-06-09 19:42:05 +01:00
package-lock.json build: Update eslint-config-wikimedia to 0.17.0 2020-08-26 23:46:34 +01:00
package.json build: Update eslint-config-wikimedia to 0.17.0 2020-08-26 23:46:34 +01:00