Searched refs:miniEditor (Results 1 – 2 of 2) sorted by relevance
306 if (!miniEditor || !miniEditor->document()) in onPlayClicked()315 miniEditor->stop(); in onPlayClicked()324 if (!miniEditor || !miniEditor->document()) in onPopupSpeed()365 if (!miniEditor || miniEditor->document() != document) { in updateUsingEditor()377 miniEditor->add_observer(this); in updateUsingEditor()393 miniEditor->stop(); in updateUsingEditor()398 if (miniEditor->isPlaying()) { in updateUsingEditor()412 miniEditor->stop(); in updateUsingEditor()415 if (!miniEditor->isPlaying()) in updateUsingEditor()440 if (miniEditor->hasCapture()) { in onScrollChanged()[all …]
182 Editor* miniEditor = previewWin->previewEditor(); in getAllEditorsIncludingPreview() local183 if (miniEditor && miniEditor->document() == document) in getAllEditorsIncludingPreview()184 editors.push_back(miniEditor); in getAllEditorsIncludingPreview()