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 /demos | |
| 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 'demos')
0 files changed, 0 insertions, 0 deletions