var classGpgFrontend_1_1UI_1_1KeyserverTab =
[
    [ "KeyserverTab", "classGpgFrontend_1_1UI_1_1KeyserverTab.html#aa3d3561d3bdf95de6486b2caa752616c", null ],
    [ "contextMenuEvent", "classGpgFrontend_1_1UI_1_1KeyserverTab.html#a8cbd6e448e187260730ab8301ad4892e", null ],
    [ "SetSettings", "classGpgFrontend_1_1UI_1_1KeyserverTab.html#a221117b56dda48956e44d96a08f6823b", null ],
    [ "SignalRestartNeeded", "classGpgFrontend_1_1UI_1_1KeyserverTab.html#a26449a77844d9db69a543ff88f10e347", null ]
];