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

[RSS]

2017-05-14
[DIFF] Main 23:47 Info 2a02:2450:10d1:4b7:8295:2a7c:af71:21d4 [1-3]
2016-06-17
[DIFF] Category Template 09:16 Info jan

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