Definition of the line width for region contour output.
set_line_width defines the line width (in pixel) in which a region contour is displayed (e.g. with disp_region, disp_line, disp_polygon, etc.) The procedure get_line_width returns the current value for the active window. Some output devices may not allow to change the contour width. If it is possigle for the current device, can be queried with query_line_width.
The line width is important if the output mode was set to 'margin' (see set_draw). If the line width is greater than one, hollow regions may not always be displayed correctly.
Width (input_control) |
integer -> integer |
line width for region output in contour mode. | |
Default value: 1 | |
Restriction: Width >= 1 |
set_line_width returns TRUE, if the parameter is correct and a window is active. Otherwise an exception is raised.
query_line_width, get_line_width
get_line_width, query_line_width, set_draw, disp_region