Searched refs:mainTabWidget_ (Results 1 – 4 of 4) sorted by relevance
65 mainTabWidget_() in MainWindow()123 mainTabWidget_.setDocumentMode( true ); in MainWindow()124 mainTabWidget_.setMovable( true ); in MainWindow()126 mainTabWidget_.setTabsClosable( true ); in MainWindow()128 connect( &mainTabWidget_, SIGNAL( tabCloseRequested( int ) ), in MainWindow()130 connect( &mainTabWidget_, SIGNAL( currentChanged( int ) ), in MainWindow()174 main_layout->addWidget( &mainTabWidget_ ); in MainWindow()203 mainTabWidget_.addTab( crawler_widget, strippedName( file_name ) ); in reloadSession()207 mainTabWidget_.setCurrentIndex( current_file_index ); in reloadSession()469 int currentIndex = mainTabWidget_.currentIndex(); in closeTab()[all …]
218 TabbedCrawlerWidget mainTabWidget_; variable