tip TWiki Tip of the Day
Control table attributes with TablePlugin
The TablePlugin gives extra control of table display: Allows sorting Changing table properties ... Read on Read more

Guno Heitman

Main
  • Name: Guno Heitman
  • Email:
  • Affiliation:
  • Homepage URL: http://www.students.cs.uu.nl/~geheitma/
  • Country: Netherlands
  • Comment:

Personal Preferences (details in TWikiVariables)

  • Horizontal size of text edit box:
    • Set EDITBOXWIDTH = 70
  • Vertical size of text edit box:
    • Set EDITBOXHEIGHT = 17
  • Style of text edit box. width: 99% for full window width (default), width: auto to disable.
    • Set EDITBOXSTYLE = width: 99%
  • Optionally write protect your home page: (set it to your WikiName)
    • Set ALLOWTOPICCHANGE =

Related topics