Searched refs:existing_crawler (Results 1 – 2 of 2) sorted by relevance
827 CrawlerWidget* existing_crawler = dynamic_cast<CrawlerWidget*>( in loadFile() local829 if ( existing_crawler ) { in loadFile()831 mainTabWidget_.setCurrentWidget( existing_crawler ); in loadFile()