Fix: XGGState, DPSsetlinewidth

[Georg Fleischmann]

Hi,

here is a little patch to scale the line width in the X backend.

Georg


2002-04-22  Georg Fleischmann

        * back/Source/xlib/XGGState.m
        [XGGState DPSsetlinewidth:]: scale line width.


*** back/Source/xlib/XGGState.m.old     Mon Apr 15 20:18:00 2002
--- back/Source/xlib/XGGState.m Mon Apr 22 20:43:59 2002
***************
*** 1520,1525 ****
--- 1520,1529 ----
  - (void)DPSsetlinewidth: (float)width
  {
    int w;
+   NSSize      ws;
+
+   ws = [ctm sizeInMatrixSpace: NSMakeSize(width,width)];
+   width = (ws.width + ws.height) / 2;

    /*
     * Evil hack to get drawing to work - with a line thickness of 1, the