diff options
| author | Gilles Roudiere <gilles.roudiere@gmail.com> | 2018-01-14 14:13:11 +0100 |
|---|---|---|
| committer | Gilles Roudiere <gilles.roudiere@laas.fr> | 2018-01-15 10:37:13 +0100 |
| commit | b06c6602c8a1a96f72bcbebb2a86176d1e69c79d (patch) | |
| tree | 2158235a43a448f461a74372ed96dbaf177abb00 /core/core_string_names.cpp | |
| parent | 05b1843818fd07f084816ec506ec505e24f8f02c (diff) | |
Changes the keep_margin parameter to true by default, so that people are not suprised that set_anchor changes the margins values
Diffstat (limited to 'core/core_string_names.cpp')
0 files changed, 0 insertions, 0 deletions