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

[RSS]

2024-07-21
[DIFF] 22:55 Info hubicka [1-2]
2024-07-20
[DIFF] 10:23 Info DavidMalcolm Add spec rererence
2024-07-19
[DIFF] 02:01 Info AndrewPinski
[DIFF] 01:53 Info SamJames Use italics
2024-07-18
[DIFF] 11:13 Info JonathanWakely comma
2024-07-17
[DIFF] 11:48 Info JonathanWakely [1-2] #01 punctuation
#02 add item about @diff@ markup in 27_io tests
2024-07-16
[DIFF] 15:06 Info JonathanWakely
2024-06-28
[DIFF] 12:41 Info PaulAntoineArras OG13->OG14
[DIFF] 12:38 Info PaulAntoineArras OG13->OG14
[DIFF] 12:30 Info PaulAntoineArras OG13->OG14
[DIFF] 10:34 Info TobiasBurnus Add PaulAntoineArras

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