diff options
| author |  Jan Mulder <jlmulder@xs4all.nl> | 2017-11-07 13:54:33 +0100 |
|---|---|---|
| committer | Jan Mulder <jlmulder@xs4all.nl> | 2017-11-07 18:36:28 +0100 |
| commit | 828f608b2b1e5f7754c39bf60dccdabca78c3fb6 (patch) | |
| tree | fcb2a1612848b66aa564c255e50fa6e80bbb9a57 /.travis.yml | |
| parent | 3ab016bfda5442b163262cfdd81ba1e11ea4dd63 (diff) | |
| download | subsurface-828f608b2b1e5f7754c39bf60dccdabca78c3fb6.tar.gz | |
Save font_size in correct group
A change of the font_size in preferences ended up in the wrong
preferences group (the GeneralSettings group), appearing to the
user as a non-saved preference. Fix is simple. Just set the
the correct group before saving a change in font_size.
Fixes: #780
Signed-off-by: Jan Mulder <jlmulder@xs4all.nl>
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions