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

[RSS]

2018-06-20
[DELETED] 14:21 [INFO] AndreasKloeckner [1]
2620:cc:8000:1d84:68bf:d895:a533:1e4e [2]
2018-06-19
[DIFF] 22:35 [INFO] AndreasKloeckner [1]
qchost237-221 [2]
2018-06-01
[DIFF] 21:53 [INFO] 204-235-114
2018-05-16
[DIFF] 13:42 [INFO] 147
2018-05-01
[DIFF] 17:01 [INFO] 14
2018-04-10
[DIFF] 16:15 [INFO] 148
2018-04-07
[DIFF] 13:27 [INFO] 93

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