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)


Pitfall: must define strategy with same name as module.

I defined a module FBD-Reduce with two strategies, "Reduce" and "reduce", following the example in the xt-applet-0.3 example. When compiling this using stratego, I got the error

error: operator FBD-Reduce/0 undefined.

Related topics

Revision: r1.2 - 25 Jun 2003 - 07:27 - IanPeake
Main > TWikiUsers > IanPeake
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback