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

[RSS]

2019-09-18
[DIFF] 08:52 Info embray [1-2] #01 moved link to Zulip
#02 remove link to long obsolete mailing list
2019-09-12
[DIFF] 20:10 Info tmonteil
2019-09-04
[DIFF] 13:12 Info slelievre Say sage-days-100 gitlab group and repos are for participants only
2019-09-02
[DIFF] 16:16 Info slelievre Add link to Cernay workshops page
[DIFF] 15:06 Info slelievre Add link to "Cernay workshops" page.
2019-09-01
[DIFF] 17:58 Info slelievre
[DIFF] 17:57 Info slelievre Renamed from 'GitLab'. More targeted name. Will create more general GitLab page pointing to it.
2019-08-30
[DIFF] 16:05 Info slabbe
2019-08-22
[DIFF] 18:35 Info chapoton
[DIFF] 11:47 Info chapoton

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