Filip/playwright
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

browser(webkit): do not create unique page groups for pages (#4456)

Browse source
This commit is contained in:
Pavel Feldman 2020-11-16 14:31:50 -08:00 committed by GitHub
parent 5509e98ba5
commit 79c592ed7d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
browser_patches/webkit/BUILD_NUMBER
View file

@ -1,2 +1,2 @@
1387 1388
Changed: yurys@chromium.org Mon 16 Nov 2020 02:24:23 PM PST Changed: pavel.feldman@gmail.com Mon, Nov 16, 2020 10:30:04 PM

4
browser_patches/webkit/embedder/Playwright/win/MainWindow.cpp
View file

@ -175,13 +175,9 @@ void MainWindow::rescaleToolbar()
bool MainWindow::init(HINSTANCE hInstance, WKPageConfigurationRef conf) bool MainWindow::init(HINSTANCE hInstance, WKPageConfigurationRef conf)
{ {
auto pageGroup = adoptWK(WKPageGroupCreateWithIdentifier(createWKString("WinPlaywright").get()));
auto prefs = adoptWK(WKPreferencesCreate()); auto prefs = adoptWK(WKPreferencesCreate());
WKPageConfigurationSetPageGroup(conf, pageGroup.get());
WKPageConfigurationSetPreferences(conf, prefs.get()); WKPageConfigurationSetPreferences(conf, prefs.get());
WKPageGroupSetPreferences(pageGroup.get(), prefs.get());
WKPreferencesSetMediaCapabilitiesEnabled(prefs.get(), false); WKPreferencesSetMediaCapabilitiesEnabled(prefs.get(), false);
WKPreferencesSetDeveloperExtrasEnabled(prefs.get(), true); WKPreferencesSetDeveloperExtrasEnabled(prefs.get(), true);