You can change the default size of the editor window in your user preferences.

[RSS]

2017-04-21
[DIFF] 13:09 Info SteveMcIntyre [1]
Joanne McIntyre [2]
2017-04-19
[DIFF] 15:59 Info SteveMcIntyre
2017-04-03
[DIFF] 11:47 Info SteveMcIntyre
2017-02-07
[DIFF] 17:39 Info Ganesh Sittampalam [1-3]
2017-01-14
[DIFF] 23:13 Info DaveHiggins
2017-01-13
[DIFF] 22:25 Info Ganesh Sittampalam
2016-10-21
[DIFF] 13:03 Info LarsWirzenius [1-2]

[DIFF]

marks older pages that have at least one backup version stored (click for an author diff)

[UPDATED]

marks pages edited since you set your bookmark (click for a bookmark diff)

[NEW]

marks pages created since you set your bookmark, and were not edited after creation

[DELETED]

marks page deletions

[RENAMED]

marks page renames

[CONFLICT]

An editing conflict happened, please resolve it by merging both versions of the problematic paragraphs together.