The ``Line Thickness'' spinbox allows us to increase or decrease the line/tube thickness in the diagram. The PLAUT04 resource file also provides a way to change the default values of the line/tube thickness.
