var searchData= [ ['fileoperator_763',['FileOperator',['../classGpgFrontend_1_1FileOperator.html',1,'GpgFrontend']]], ['filepage_764',['FilePage',['../classGpgFrontend_1_1UI_1_1FilePage.html',1,'GpgFrontend::UI']]], ['filereadtask_765',['FileReadTask',['../classGpgFrontend_1_1UI_1_1FileReadTask.html',1,'GpgFrontend::UI']]], ['findwidget_766',['FindWidget',['../classGpgFrontend_1_1UI_1_1FindWidget.html',1,'GpgFrontend::UI']]] ];