PC SOFT

ONLINE HELP
 WINDEVWEBDEV AND WINDEV MOBILE

Home | Sign in | English EN

This content has been translated automatically. Click here to view the French version.
WINDEV
WindowsLinuxUniversal Windows 10 AppJavaReports and QueriesUser code (UMC)
WEBDEV
WindowsLinuxPHPWEBDEV - Browser code
WINDEV Mobile
AndroidAndroid Widget iPhone/iPadApple WatchUniversal Windows 10 AppWindows Mobile
Others
Stored procedures
The Property MarginHeight allows:
  • Find out the vertical margin between the Widgets found in a Dashboard control.
  • Modify the vertical margin between the Widgets found in a Dashboard control.
Remark: The vertical margin between the Widgets of a Dashboard control is defined in the "Details" tab of the description window of the Dashboard control.
Versions 20 and later
WEBDEV - Server codeWindows This property is now available in WEBDEV Server.
WEBDEV - Server codeLinux This Property is now available for WEBDEV sites under Linux.
New in version 20
WEBDEV - Server codeWindows This property is now available in WEBDEV Server.
WEBDEV - Server codeLinux This Property is now available for WEBDEV sites under Linux.
WEBDEV - Server codeWindows This property is now available in WEBDEV Server.
WEBDEV - Server codeLinux This Property is now available for WEBDEV sites under Linux.
Example
// Modify CBOX_WidgetSpacing
IF CBOX_WidgetSpacing THEN
TDB_Principal.MarginWidth = 20
TDB_Principal.MarginHeight = 20
ELSE
TDB_Principal.MarginWidth = 0
TDB_Principal.MarginHeight = 0
END
Syntax

Finding out the vertical margin between the Widgets Hide the details

<Result> = <Dashboard control>.MarginHeight
<Result>: Integer
Vertical margin (in pixels) between the Widgets found in the specified Dashboard control.
<Dashboard control>: Control name
Name of Dashboard control to use.

Modifying the vertical margin between the Widgets Hide the details

<Dashboard control>.MarginHeight = <New margin>
<Dashboard control>: Control name
Name of Dashboard control to use.
<New margin>: Integer
New vertical margin (in pixels) between the Widgets found in the specified Dashboard control. This value must be positive or null.
Remarks
  • This margin does not take into account the border defined in the style.
  • To modify the horizontal margin, use MarginWidth.
Minimum version required
  • Version 19
This page is also available for…
Comments
Click [Add] to post a comment