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

[RSS]

2022-05-19
[DIFF] 18:41 Info ClausAichinger [1-6]
2022-05-15
[DIFF] 23:18 Info hop Mai 2022
2022-04-26
[DIFF] 13:19 Info hop
2022-04-21
[DIFF] 16:33 Info hop
2022-04-15
[DIFF] 07:31 Info gophernot
2022-03-20
[DIFF] 18:59 Info hop März 2022
2022-02-27
[DIFF] 18:02 Info Krille [1-3] #01 Add Coding Dojo
#03 Migrate the only link from GamesAndChallenges that wasn't already here
[DELETED] 17:49 Info Krille This page is just a subset of LearningStuff, no need to have it twice

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