Jw at 15:03, 22 January 2019

2019-01-22T15:03:19Z

← Older revision		Revision as of 17:03, 22 January 2019
Line 14:		Line 14:
	\| The relative width of the right column (<var>right</var> ≥ 0).		\| The relative width of the right column (<var>right</var> ≥ 0).
	\|}		\|}
			{{display set}}

Jw: Created page with "Set the width of a display row's columns. SET `display` WIDTH `row`|* `left` `right` Set the width of the columns of the specified row (..."

2019-01-22T14:59:59Z

Created page with "Set the width of a display row's columns. SET <var>display</var> WIDTH <var>row</var>|* <var>left</var> <var>right</var> Set the width of the columns of the specified row (..."

New page

Set the width of a display row's columns.

SET <var>display</var> WIDTH <var>row</var>|* <var>left</var> <var>right</var>

Set the width of the columns of the specified row (<var>row</var> ³ <code>0</code>) or all split rows (<var>row</var> = <code>*</code>). The column splitter position is computed using:

pos = left / (left + right) × display_window_width.
{|
|-
| <var>left</var>
| The relative width of the left column (<var>left</var> ≥ 0).
|-
| <var>right</var>
| The relative width of the right column (<var>right</var> ≥ 0).
|}

Programmer Guide/Shell Items/Display/SET DISPLAY/WIDTH - Revision history

Jw at 15:03, 22 January 2019

Jw: Created page with "Set the width of a display row's columns. SET display WIDTH row|* left right Set the width of the columns of the specified row (..."

Jw: Created page with "Set the width of a display row's columns. SET `display` WIDTH `row`|* `left` `right` Set the width of the columns of the specified row (..."