Searched refs:current_file_index (Results 1 – 6 of 6) sorted by relevance
117 int *current_file_index ) in restore() argument134 *current_file_index = -1; in restore()
77 int *current_file_index );
191 int current_file_index = -1; in reloadSession() local195 ¤t_file_index ) ) in reloadSession()206 if ( current_file_index >= 0 ) in reloadSession()207 mainTabWidget_.setCurrentIndex( current_file_index ); in reloadSession()