Headers

Display Headers

This property is used to display or hide list box column headers. There is one header per column; each header is configured separately.

JSON Grammar

Name	Data Type	Possible Values
showHeaders	boolean	true, false

Objects Supported

List Box

---

Height

This property is used to set the row height for a list box header in pixels or text lines (when displayed). Both types of units can be used in the same list box:

• Pixel - the height value is applied directly to the row concerned, regardless of the font size contained in the columns. If a font is too big, the text is truncated. Moreover, pictures are truncated or resized according to their format.

• Line - the height is calculated while taking into account the font size of the row concerned.

  • If more than one size is set, 4D uses the biggest one. For example, if a row contains "Verdana 18", "Geneva 12" and "Arial 9", 4D uses "Verdana 18" to determine the row height (for instance, 25 pixels). This height is then multiplied by the number of rows defined.
  • This calculation does not take into account the size of pictures nor any styles applied to the fonts.
  • In macOS, the row height may be incorrect if the user enters characters that are not available in the selected font. When this occurs, a substitute font is used, which may cause variations in size.

This property can also be set dynamically using the LISTBOX SET HEADERS HEIGHT command.

Conversion of units: When you switch from one unit to the other, 4D converts them automatically and displays the result in the Property List. For example, if the font used is "Lucida grande 24", a height of "1 line" is converted to "30 pixels" and a height of "60 pixels" is converted to "2 lines".

Note that converting back and forth may lead to an end result that is different from the starting value due to the automatic calculations made by 4D. This is illustrated in the following sequences:

• (font Arial 18)*: 52 pixels -> 2 lines -> 40 pixels
• (font Arial 12)*: 3 pixels -> 0.4 line rounded up to 1 line -> 19 pixels

JSON Example

 "List Box": {
  "type": "listbox",
  "showHeaders": true,
  "headerHeight": "22px",  
  ...
  }

JSON Grammar

Name	Data Type	Possible Values
headerHeight	string	positive decimal+px | em

Objects Supported

List Box

See also

Footers - List box headers