[orca: 2/2] Merge branch 'profile-remove' into 'master'

[Joanmarie Diggs <joanied src gnome org>]

commit fd955fd693e096fe6c13feae2ebe4cdfb4fd5e9f
Merge: a1d6c7bb0 98be9c4bc
Author: Joanmarie Diggs <jdiggs igalia com>
Date:   Thu Sep 20 16:51:41 2018 +0000

    Merge branch 'profile-remove' into 'master'
    
    Add support for removing user profiles
    
    Closes #9
    
    See merge request GNOME/orca!20

 src/orca/backends/json_backend.py | 43 ++++++++++++++++++-----
 src/orca/guilabels.py             | 27 +++++++++++++++
 src/orca/orca-setup.ui            | 17 +++++++++
 src/orca/orca_gui_prefs.py        | 72 ++++++++++++++++++++++++++++++++++-----
 src/orca/settings_manager.py      |  3 ++
 5 files changed, 144 insertions(+), 18 deletions(-)
---