diff options
| author |  Tomaz Canabrava <tomaz.canabrava@gmail.com> | 2016-08-26 16:21:42 -0300 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2016-08-27 11:40:45 -0700 |
| commit | 8f178301d8b93f50c38cd00b7cc47a259e1fed43 (patch) | |
| tree | 38befce11977f500050e162d63c1e6dd6d1854e9 /desktop-widgets/preferences | |
| parent | ad7524fda156507ccfe3e736c40560e734e3dade (diff) | |
| download | subsurface-8f178301d8b93f50c38cd00b7cc47a259e1fed43.tar.gz | |
Settings update: Use the Settings to store the plannersettings
Instead of settings things manually in the code. (btw,
if we use lambdas the code can be quite smaller)
Signed-off-by: Tomaz Canabrava <tomaz.canabrava@gmail.com>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets/preferences')
0 files changed, 0 insertions, 0 deletions