• Name: Mizar Reviewer
  • Email: mizartwiki@kti.mff.cuni.cz
  • Company Name:
  • Company URL:
  • Location: (Please specify office location)
  • Country: Poland
  • Comment: common account for notes about the reviewing process

My Links

Personal Preferences (details in TWikiVariables)

  • Show tool-tip topic info on mouse-over of WikiWord links, on or off: (see details in TWikiPreferences)
    • Set LINKTOOLTIPINFO = off
  • Horizontal size of text edit box:
    • Set EDITBOXWIDTH = 70
  • Vertical size of text edit box:
    • Set EDITBOXHEIGHT = 22
  • 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

Topic revision: r1 - 2005-12-15 - 12:47:36 - MizarReviewer

tip TWiki Tip of the Day
TWiki Skins
Skins overlay regular templates with alternate header/footer layouts. You can use Skins to change the ... Read on Read more

 
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback