diff --git a/trac/wiki/web_ui.py b/trac/wiki/web_ui.py
index 754f0c5..6a6d14b 100644
a
|
b
|
class WikiModule(Component):
|
57 | 57 | max_size = IntOption('wiki', 'max_size', 262144, |
58 | 58 | """Maximum allowed wiki page size in characters.""") |
59 | 59 | |
| 60 | default_textarea_height = IntOption('wiki', 'default_textarea_height', 20, |
| 61 | """Default height of the textarea on the wiki edit page. |
| 62 | (//Since 1.1.5//)""") |
| 63 | |
60 | 64 | PAGE_TEMPLATES_PREFIX = 'PageTemplates/' |
61 | 65 | DEFAULT_PAGE_TEMPLATE = 'DefaultPage' |
62 | 66 | |
… |
… |
class WikiModule(Component):
|
520 | 524 | page.readonly = 'readonly' in req.args |
521 | 525 | |
522 | 526 | author = get_reporter_id(req, 'author') |
523 | | defaults = {'editrows': '20'} |
| 527 | defaults = {'editrows': str(self.default_textarea_height)} |
524 | 528 | prefs = dict((key, req.session.get('wiki_%s' % key, defaults.get(key))) |
525 | 529 | for key in ('editrows', 'sidebyside')) |