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

[RSS]

2024-11-16
[DIFF] 01:19 Info hop
[DIFF] 01:04 Info hop November-Treffen
2024-10-17
[DIFF] 21:07 Info hop [1-2] #01 Kurzvorträge
2024-09-19
[DIFF] 18:22 Info hop
2024-06-19
[DIFF] 05:36 Info horstjens [1-2] #01 trying to make link to personal page working
#02 added topic
2024-06-10
[DIFF] 13:00 Info ClausAichinger [1-2]
2024-05-17
[DIFF] 01:28 Info hop Mai 2024
2024-04-22
[DIFF] 22:00 Info Krille Add date

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