Last modified: 2013-01-18 08:58:03 UTC
shrink the editing textarea's height to take up 80% of your browser window's
(This would work best if bug 9369 "Edit page should automatically scroll down a
bit" was also implemented.)
can grow or shrink the edit box to whatever size they like, like vBulletin does. We could also
remember this sizing per user (or for anons, per session or whatnot), using a hidden form
variable (or for anons, maybe a cookie).
(In reply to comment #2)
> implemented in a MediaWiki wiki in the meantime?
Could we implement this functionality in MediaWiki based on the code attachment to the last post at http://www.webdeveloper.com/forum/showthread.php?t=64005 perhaps?
^ . I tested the attachment that is posted there on IE7. When I save it to my USB flash drive and view it, a yellow Information Bar appears at top of screen. It prompts me to enable scripts. After I say "yes" it works fine and gives me a resizable textarea with nice thick borders to show that it is resizable. The textarea is resizable on all 4 sides. I did not test the code in any other browser. But the code is not free-licensed. If you email the author to ask that they release it to the public domain, please let us know you did so in this thread to avoid us requesting twice.
I don't really see how useful this is, due to the css rule (at least in modern skin) of:
See demo at [[n:User:Bawolff/sandbox/resizeEditbox]]. (bearing in mind, its not done yet, so its not perfect, but it does work).
Note that some browsers already implement a small area at the bottom-right corner of textareas to allow resizing them.
Firefox can do this. Opera not. Not sure about other browsers.
Resizing the height of the textarea to adapt to window's height could be nice, though. But not sure if that would annoy some users, or would interfere with custom toolbars, etc. If done please make sure it's a user preference option.
Opera does this now as well.
I think we should WONTFIX this bug. Many wikis have custom tools above or below edit box; I could see the resizing being annoying.