Sfairadora

  • Reference Guide

Header Provider

The header provider dispel allows you to attach dispels with supplementary information (header and footer) to a dispel. The header and footer can be displayed either at the top and bottom, or on the left and right. You can have the header or footer displayed in a separate pane of the window to make sure that it is always visible. Details of the display mode are described further on.
If you display the header on the left in a separate window pane, you can use it to create an arrangement with a list on the left, allowing the user to select one element, and the details of the selected element on the right. For more details see the Value Setting Function paragraph in the Disp-folder chapter.

Display

Item
Description
Horizontal
If checked, the header is displayed on the left and the footer on the right. Otherwise the header is at the top and the footer at the bottom.
Header/footer – header and footer are defined separately, but their attributes are identical.
position
Determines the location of the header/footer with respect to the child:
hidden
header/footer is not displayed.
by child
header/footer is always displayed by the appropriate border of the child. If the child is big so that the border of the child is beyond the window edge, the header/footer is not displayed.
by window edge
header/footer is displayed in a separate pane by the appropriate edge of the window regardless of whether there are other dispels on top of the child – they are placed between the header/footer and the child.
always visible
combination of the by child and by window edge options – if the respective border of the child fits into the window, the header/footer is there, but as soon as it moves beyond the window edge, the header/footer is displayed by the edge of the window so that it always remains visible. (Default setting.)
Alignment
Alignment of the header/footer with respect to the child. The options are: left, center, right, and in block. In block alignment spans the header/footer so that its width is equal to the width of the child.
Displayed only when child is active
If the child is not active, the header/footer is hidden. It is displayed only when the child is active.
Align to child position
If checked, and the header/footer is displayed in a separate pane, the header/footer pane moves along with the child pane so that the header/footer and the child are always aligned. If unchecked, the header/footer pane and the child pane move independently of each other.
Horizontal scroll-bar
If checked, and the header/footer is wider than the window and displayed in a separate pane, a horizontal scrollbar appears. If unchecked, the horizontal scrollbar never appears.
Vertical scroll-bar
Analogical to the horizontal scroll-bar.
Divider line style
If the header/footer is displayed in a separate pane, this options determines the appearance of the line dividing this pane from the adjacent pane.
none
no line.
simple
a simple black line (the actual color may differ depending on Windows settings).
raised
the divider line looks like a 3D bar (i.e. it consists of a lighter line on one side and a darker line on the other).
groove
a line combined of a lighter and darker line so that it resembles a groove.
top sunken
a lighter line (i.e. the top pane appears sunken).
bottom sunken
a darker line (i.e. the bottom pane appears sunken).
top deep
like top sunken, but it appears deeper (the line is more distinct).
bottom deep
like bottom sunken, but it appears deeper (the line is more distinct).
Divider line width
The width of the divider line in pixels. The line must be sufficiently wide to display the selected line style. If not specified, the appropriate value is determined automatically.
Allow divider line moving
If checked, and the header/footer is displayed in a separate pane, the user may drag the divider line with the mouse to change the pane sizes.
dispel editor
The editor used to define the contents of the header/footer.

Child

Editor of the dispel to which you wish to attach the header and footer.
Definition type: Header_provider_def