4 import java.util.Vector;
6 public class Configuration {
8 public double brush_thickness, scale, texture_scale, minz;
9 public boolean detail, autotexture, simpleterrain;
10 public String objfile, mapfile;
11 public Vector autotexturing;
14 /** Creates a new instance of Configuration */
15 public Configuration() {
16 brush_thickness = 4.0;
20 autotexturing = new Vector();