00001 #include "psdriver.h" 00002 00003 void PS_Line_width(int width) 00004 { 00005 if (width < 0) 00006 width = 0; 00007 00008 output("%d WIDTH\n", width); 00009 }