diff options
author | intrigeri <intrigeri@boum.org> | 2010-08-22 11:09:37 +0200 |
---|---|---|
committer | intrigeri <intrigeri@boum.org> | 2010-08-22 11:09:37 +0200 |
commit | e85c15e75bc7a24be537d905a53877f462c2d8cd (patch) | |
tree | fa85db6a62ca89c6d6262d6814cf851dc8187561 /doc/todo/edit_form:_no_fixed_size_for_textarea.mdwn | |
parent | 474b6524e0fe4b4bb3402bf6551bf97be7f3ee1f (diff) | |
parent | 87acb9ad1c009c3a6570fad09b5286b5399d86bc (diff) |
Merge remote branch 'upstream/master' into prv/po
Diffstat (limited to 'doc/todo/edit_form:_no_fixed_size_for_textarea.mdwn')
-rw-r--r-- | doc/todo/edit_form:_no_fixed_size_for_textarea.mdwn | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/todo/edit_form:_no_fixed_size_for_textarea.mdwn b/doc/todo/edit_form:_no_fixed_size_for_textarea.mdwn index 0c45f0c90..577c3dad8 100644 --- a/doc/todo/edit_form:_no_fixed_size_for_textarea.mdwn +++ b/doc/todo/edit_form:_no_fixed_size_for_textarea.mdwn @@ -38,3 +38,5 @@ have a small resize handle in a corner, that can be dragged around. No nasty javascript needed. IMHO, this is the right solution, and I hope other browsers emulate it. [[done]] --[[Joey]] + +Wouldn't it be possible to just implement an integer-valued setting for this, accessible via the "Setup" wiki page? This would require a wiki regen, but such a setting would not be changed frequently I suppose. Also, Mediawiki has this implemented as a per-user setting (two settings, actually, -- number of rows and columns of the edit area); such a per-user setting would be the best possible implementation, but I'm not sure if ikiwiki already supports per-user settings. Please consider implementing this as the current 20 rows is a great PITA for any non-trivial page. |