Bojidar Marinov 0e8a8d2cb1 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		2016-03-09 21:14:17 +02:00
..
classes.xml	Add option to keep margins when changing anchors, closes #3979	2016-03-09 21:14:17 +02:00