Query of possible line widths.
query_line_width returns the minimal (Min) and maximal (Max) values of widths in which of region border can be displayed. Setting of the border width is done with set_line_width. Border width is used by operators like disp_region, disp_line, disp_circle, disp_rectangle1, disp_rectangle2 etc. if the drawing mode is "margin" (set_draw(::'margin':)).
Min (output_control) |
integer -> integer |
displayable minimum width. |
Max (output_control) |
integer -> integer |
displayable maximum width. |
query_line_width returns TRUE, if a window is active. Otherwise an exception is raised.
get_line_width, set_line_width, set_line_style, disp_line
disp_circle, disp_line, disp_rectangle1, disp_rectangle2, disp_region, set_line_width, get_line_width, set_line_style