From 87acb9ad1c009c3a6570fad09b5286b5399d86bc Mon Sep 17 00:00:00 2001
From: "http://kostix.myopenid.com/" <http://kostix.myopenid.com/@web>
Date: Fri, 20 Aug 2010 16:00:24 +0000
Subject: [PATCH] Add a comment about adding of per-wiki or per-user setting
 for the edit box size

---
 doc/todo/edit_form:_no_fixed_size_for_textarea.mdwn | 2 ++
 1 file changed, 2 insertions(+)

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.
-- 
2.39.5