/** reinit LaTeX related parameters */
public void reinit() {
PicAttributeSet ltxSet = new PicAttributeSet();
double unitLength = 1; // 1mm
pool.put(KEY_UNIT_LENGTH, new Double(unitLength));
pool.put(KEY_ATTRIBUTES, ltxSet);
}
/** reinit shared parameters belonging to the Pool */
public void reinit() {
// System.out.println("Reinit' PstricksParser...");
double pstXunit, pstYunit, pstRunit;
pstXunit = pstYunit = pstRunit = 10.0; // PsTricks's default = 1cm
pool.put(KEY_X_UNIT, new Double(pstXunit));
pool.put(KEY_Y_UNIT, new Double(pstYunit));
pool.put(KEY_R_UNIT, new Double(pstRunit));
pool.put(KEY_ATTRIBUTES, new PicAttributeSet()); // PsTricks's registers
pool.put(KEY_NEWPSOBJECTS, new HashMap<String, String>());
pool.put(KEY_USER_COLOURS, new HashMap<String, Color>());
}