Jan Mulder 828f608b2b 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>
2017-11-07 18:36:28 +01:00
..
2017-10-01 23:58:55 +03:00
2017-04-29 13:32:55 -07:00
2017-04-29 13:32:55 -07:00
2017-10-18 23:19:13 +02:00
2017-10-26 14:37:39 +02:00
2017-04-29 13:32:55 -07:00
2017-05-26 15:52:04 -07:00
2017-08-26 12:15:43 -07:00
2017-10-08 19:41:54 +03:00
2017-04-29 13:32:55 -07:00
2017-10-20 17:25:18 -04:00
2017-05-26 15:44:36 -07:00
2017-11-02 15:13:58 +01:00
2017-07-19 06:21:23 -07:00
2017-08-29 06:49:44 -07:00
2017-08-29 06:49:44 -07:00
2017-10-20 17:25:18 -04:00
2017-04-29 13:32:55 -07:00
2017-10-29 20:00:53 +01:00
2017-04-29 13:32:55 -07:00
2017-04-29 13:32:55 -07:00
2017-10-04 08:05:09 -07:00
2017-04-29 13:32:55 -07:00
2017-07-17 16:50:03 -07:00
2017-04-29 13:32:55 -07:00