Textinput: disabled textarea doesn't need extra height for an extra line #5688
Description
Textareas are automatically resized (in height) to prevent scrollbars from appearing. When they are resized, extra height (15px) is added to provide space for another line of input.
When users are typing into the textarea, this is a great way of communicating that they can continue typing without a limit. However, this extra space is unnecessary (and even kind of ugly) when the textarea is disabled.
Here's a screenshot that explains the situation:
I'll submit a pull request that implements this proposal in a few minutes.
Note
The correct working of my fix requires that issue #509 is fixed (e.g., by accepting my pull request #5691).
As you may see in the screenshot, the second textarea is still a bit too high. After some research it turns out to be a bug in jQuery. I'll report that later and post a link to that issue later.