preferences: Add methods to reload settings pages and remove a section

Authored by cfoch on Aug 16 2017, 9:33 PM.

Description

preferences: Add methods to reload settings pages and remove a section

Differential Revision: https://phabricator.freedesktop.org/D1853

Details

Committed
alebAug 28 2017, 9:58 PM
Differential Revision
D1853: preferences: Add methods to reload settings pages and remove a section
Parents
rPTV4279582a759f: preferences: Add Plugin Manager
Branches
Unknown
Tags
Unknown