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

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