var classGpgFrontend_1_1UI_1_1NetworkTab =
[
    [ "NetworkTab", "classGpgFrontend_1_1UI_1_1NetworkTab.html#a444d3630919c1f9c4db495a58acbb9a8", null ],
    [ "SetSettings", "classGpgFrontend_1_1UI_1_1NetworkTab.html#a51cd114731899b6480cc1b6d5a80826a", null ],
    [ "switch_ui_enabled", "classGpgFrontend_1_1UI_1_1NetworkTab.html#ae3d97948f205e84f0604d4da634a4513", null ],
    [ "switch_ui_proxy_type", "classGpgFrontend_1_1UI_1_1NetworkTab.html#a1b0297158f13daec77645c88e5a8adcd", null ]
];