savingArchive = false;
}
+void TabWidget::stop() const
+{
+ // Stop the loading of the current privacy WebEngine.
+ currentPrivacyWebEngineViewPointer->stop();
+}
+
void TabWidget::toggleDeveloperTools(const bool enabled) const
{
// Get a handle for the current developer tools WebEngine.