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

[RSS]

2022-01-10
[DIFF] Publications 15:28 Info localhost
2021-09-17
[DIFF] Projects 20:11 Info localhost
2021-06-30
[DIFF] Team Members 11:37 Info localhost [1-2]
2020-05-11
[DIFF] Data products 09:49 Info localhost [1-5] #01 Upload of attachment 'extmapbulge.fits.gz '.
#03 Upload of attachment 'extmap_bulge.fits.g z'.
#05 Upload of attachment 'filename.txt'.
2020-05-01
[DIFF] FrontPage 14:08 Info localhost [1-2] #02 Upload of attachment 'BDBS_Agreement.pdf' .
2020-04-29
[DIFF] Acknowledgments 10:06 Info localhost [1-2]
2020-04-28
[DIFF] Conference contributions, colloquia, etc. 10:23 Info localhost
[DIFF] Papers 09:59 Info localhost

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