- Enclosing class:
- PstricksFormatter
public class PstricksFormatter.ParameterString
extends java.lang.Object
an inner class that represents a PsTricks parameter string (useful especially to handle User Defined Colours)
the basic problem is that, if a new colour has to be defined, this has to be done through e.g. a \\newrgbcolor command
BEFORE the Element command appears in the file. Hence it's necessary to return an object encapsulating
several strings, not only the parameter string that appears inside the Element formated string.