var searchData= [ ['fileoperator_768',['FileOperator',['../classGpgFrontend_1_1FileOperator.html',1,'GpgFrontend']]], ['filepage_769',['FilePage',['../classGpgFrontend_1_1UI_1_1FilePage.html',1,'GpgFrontend::UI']]], ['filereadtask_770',['FileReadTask',['../classGpgFrontend_1_1UI_1_1FileReadTask.html',1,'GpgFrontend::UI']]], ['findwidget_771',['FindWidget',['../classGpgFrontend_1_1UI_1_1FindWidget.html',1,'GpgFrontend::UI']]] ];