Set the with of the line to be used when drawing line based primitives

@param width
The width of the line to be used when drawing line based
primitives
978116
public void setLineWidth(float width) {
		predraw();
		this.lineWidth = width;
		LSR.setWidth(width);
		GL.glPointSize(width);
		postdraw();
	}
94538
public final void setWidth(String width) {
        this.width = width;
        this.dynamicWidth = width != null && width.contains("%");
    }
916279
def set_line_width(self, width=1.):
        
        width = float(width)
        if width < 0:
            raise RuntimeError('Cannot have width < 0')
        self.glir.command('FUNC', 'glLineWidth', width)
1166320
@Override
    public void draw(Canvas canvas) {
        drawSpacings(canvas);
        drawBaselineGrid(canvas);
        drawKeylines(canvas);
    }
41589
public void setLineWidth(final float LINE_WIDTH) {
        lineWidth = LINE_WIDTH;
        init(INNER_BOUNDS.width, INNER_BOUNDS.height);
        repaint(INNER_BOUNDS);
    }
965706
public void setLineDistanceWidth(int lineDistanceWidth) {
        if (divLine.isAttached()) {
            divLine.setWidth(lineDistanceWidth + "px");
        } else {
            divLine.addAttachHandler(event -> divLine.setWidth(lineDistanceWidth + "px"));
        }
    }
604353
def setDayWidth(self, width):
        
        self._dayWidth = width
        
        start = self.ganttWidget().dateStart()
        end = self.ganttWidget().dateEnd()
        
        self._dirty = True
604678
public void setBorderWidth(int borderWidth) {
		this.borderWidth = borderWidth;
		if(paintBorder != null)
			paintBorder.setStrokeWidth(borderWidth);
		requestLayout();
		invalidate();
	}
1214890
public void setWidth(int width)
    {
        content.width = width - border.left - padding.left - padding.right - border.right;
        bounds.width = width;
        wset = true;
        updateChildSizes();
    }
988102
@Override
  public void setBorder(int color, float width) {
    if (mBorderColor != color || mBorderWidth != width) {
      mBorderColor = color;
      mBorderWidth = width;
      mIsPathDirty = true;
      invalidateSelf();
    }
  }
16264
private void setDestPixel(int[] dstImage, int x, int y, int p)
    {
        dstImage[x + y * width * SCALE] = p;
    }
1213375
def set_line_style(self, width = None, dash = None, dash_offset = 0):
        """"""
        if width is not None:
            self._add_instruction("set_line_width", width)

        if dash is not None:
            self._add_instruction("set_dash", dash, dash_offset)
508017
private void setSelectPositionX(int posX, int width) {

        m_markerStyle.setLeft(posX, Unit.PX);
        m_markerStyle.setWidth(width, Unit.PX);

        m_overlayLeftStyle.setWidth(posX, Unit.PX);
        m_overlayTopStyle.setLeft(posX, Unit.PX);
        m_overlayTopStyle.setWidth(width, Unit.PX);
        m_overlayBottomStyle.setLeft(posX, Unit.PX);
        m_overlayBottomStyle.setWidth(width, Unit.PX);
        m_overlayRightStyle.setWidth(m_elementWidth - posX - width, Unit.PX);

        m_currentSelection.setLeft(posX);
        m_currentSelection.setWidth(width);
    }
166253
private void setSizeRatio(double size) {
        double width = widthHeightRatio * size;
        double height = size / widthHeightRatio;
        if (width <= size) {
            setSize(width, size);
        } else if (height <= size) {
            setSize(size, height);
        } else {
            setSize(size, size);
        }
    }
194848
public void setBorderWidth(final double WIDTH) {
        if (null == borderWidth) {
            _borderWidth = clamp(0.0, 50.0, WIDTH);
            fireTileEvent(REDRAW_EVENT);
        } else {
            borderWidth.set(WIDTH);
        }
    }
136632
public void drawStartRectangle(Double width) {
		GraphicsContext vectorContext = mapWidget.getVectorContext();
		vectorContext.drawRectangle(group, MAP_AREA, 
				applyMargins(new Bbox(0, 0, width, getHeight())), 
				// IE9 does not draw an empty shapestyle (new ShapeStyle()), but it does draw one with opacity = 0...
				new ShapeStyle("#FF0000", 0, "#FF0000", 0, 1)); 
//				new ShapeStyle("#FF0000", 0.1f, "#FF0000", 0.5f, 1));
		vectorContext.setCursor(group, MAP_AREA, Cursor.POINTER.getValue());
	}
726154
public void set(double x, double y, double width, double height) {
        this.x = x;
        this.y = y;
        this.width = width;
        this.height = height;
    }