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

[RSS]

2018-12-12
[DIFF] 02:41 Info PieterSmit
2018-12-11
[DIFF] 21:11 Info PieterSmit
2018-12-08
[DIFF] 23:06 Info PieterSmit [1-2]
[DIFF] 22:56 Info PieterSmit
[DIFF] 00:56 Info PieterSmit
2018-12-03
[DIFF] 08:58 Info PieterSmit
2018-11-29
[DIFF] 10:00 Info PieterSmit [1-2]
2018-11-22
[DIFF] 00:18 Info PieterSmit [1-2]
2018-11-12
[DIFF] 00:36 Info PieterSmit

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