Searched refs:top_line (Results 1 – 4 of 4) sorted by relevance
45 uint64_t top_line = settings.value( "topLine" ).toInt(); in retrieveFromStorage() local48 openFiles_.push_back( { file_name, top_line, view_context } ); in retrieveFromStorage()
96 uint64_t top_line; in save() local99 std::tie( view_object, top_line, view_context ) = view; in save()105 session_files.push_back( { file->fileName, top_line, view_context->toString() } ); in save()