Wiki Page Content

User Preferences

You may use the form on the bottom of this page to update your personal preferences. The definitions of the various fields on the form follow.

  • Name: This is the name created for you by the DigitalRockArt administrator. It cannot be changed.

  • Email: Your email address may only be changed in the DigitalRockArt Change Email Address function. This address is used if you subscribe to a wiki page and someone (other than you) updates the page.

  • Editor size: <!> This controls the size of the text area when you edit a page. Adjust this to suit the size of your monitor and your personal preferences.

  • Preferred theme: choose a theme to change colours, icons and layout of the wiki

  • Time zone: ...

    • Your time is: If the correct time is not displayed, use the drop down box and select the correct time.

    • Server time is: Displays the server time.

  • Date format: The default of year-month-day is least confusing for international use.

  • Preferred language: The default is taken from your browser setting. It is advisable to set this to a specific language anyway, since then you get notification mails in your native tongue, too.

  • General options: ...

    • Add spaces to displayed wiki names: If checked, makes WikiNames look like Wiki Names. DEPRECATED.

    • After login jump to last visited page: If checked, jumps to the last page in your trail after login.

    • Open editor on double click: Handy if you edit a lot of pages.

    • Publish my email (not my wiki homepage) in author info: in case you have no wiki home page.

    • Show comment sections: When checked: show comments (and toggle to comments off), otherwise do not show comments (and toggle to comments on).

    • Show fancy diffs: Makes diffs more readable.

    • Show page trail: Lists the last five pages visited at the top of the page, so you can jump back several pages easily.

    • Show question mark for non-existing pagelinks: Display a highlighted ? in front of a non-existent page instead of a color-coded page name.

    • Show top/bottom links in headings: If checked, every title bar will have an up and down arrow to navigate to top or bottom of page.

  • Quick links: Adds additional choices to the navigation section. Enter one Wiki page name per line. You may also add free-form links, i.e. entries of the form [url linktext] just like in wiki pages.


UserPreferences (last edited 2008-02-11 20:49:35 by localhost)

Copyright © 2002-2018 by and all contributing authors. Contact: