diff options
| author | Bojidar Marinov <bojidar.marinov.bg@gmail.com> | 2016-03-09 18:59:35 +0200 |
|---|---|---|
| committer | Bojidar Marinov <bojidar.marinov.bg@gmail.com> | 2016-03-09 21:14:17 +0200 |
| commit | 0e8a8d2cb116f06ecd5d420b22b158b917fc7626 (patch) | |
| tree | 3ea952147ca6add333b6bcca4b1b5e51fd885c7e /doc | |
| parent | e46e43d2aaa6339a1675eb989f41885e745bf5c3 (diff) | |
Add option to keep margins when changing anchors, closes #3979
Amend: Fixed an issue for non-tool builds
Amend2: Same, just fixed doing nothing at some times
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/base/classes.xml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/base/classes.xml b/doc/base/classes.xml index d111569a60..04e08f166e 100644 --- a/doc/base/classes.xml +++ b/doc/base/classes.xml @@ -8385,8 +8385,12 @@ </argument> <argument index="1" name="anchor_mode" type="int"> </argument> + <argument index="2" name="keep_margin" type="bool" default="false"> + </argument> <description> - Change the anchor (ANCHOR_BEGIN, ANCHOR_END, ANCHOR_RATIO) type for a margin (MARGIN_LEFT, MARGIN_TOP, MARGIN_RIGHT, MARGIN_BOTTOM). Changing the anchor mode converts the current margin offset from the previous anchor mode to the new one, so margin offsets ([method set_margin]) must be done after setting anchors, or at the same time ([method set_anchor_and_margin]). + Change the anchor (ANCHOR_BEGIN, ANCHOR_END, ANCHOR_RATIO) type for a margin (MARGIN_LEFT, MARGIN_TOP, MARGIN_RIGHT, MARGIN_BOTTOM). Changing the anchor mode converts the current margin offset from the previous anchor mode to the new one, so margin offsets ([method set_margin]) must be done after setting anchors, or at the same time ([method set_anchor_and_margin]) + + Additionally, [code]keep_margin[/code] controls whether margins should be left the same, or changed to keep the same position and size on-screen. </description> </method> <method name="get_anchor" qualifiers="const"> |