Add a comment about adding of per-wiki or per-user setting for the edit box size
parent
e65ab83d29
commit
87acb9ad1c
|
@ -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.
|
||||
|
|
Loading…
Reference in New Issue