(SET-LINE-STYLE line-style user-pattern thickness)

Sets the line drawing parameters: style and width. If line-style is {\itt 'USER-BIT}, user-pattern is a 16-bit integer specifying the pattern used to draw straight lines. For instance, a user-defined pattern of #b1110001110001010 would draw ``''.

Line-style is one of the following:

{\itt 'SOLID}
{\itt 'DOTTED}
{\itt 'CENTER}
{\itt 'DASHED}
{\itt 'USER-BIT}

Thickness can be any positive integer, and in particular:



 {\itt 'NORMAL} which is 1 

{\itt 'THICK} which is 3
Other values are not illegal, but do not necessarily produce different results.