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

browser(webkit): remove incognito emoji from title (#3765)

Browse source
This commit is contained in:
Pavel Feldman 2020-09-03 23:33:43 -07:00 committed by GitHub
parent fc7b065b1b
commit b6557b9f92
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 3 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 @@
1340
Changed: yurys@chromium.org Thu Sep 3 21:43:54 PDT 2020
1341
Changed: pavel.feldman@gmail.com Thu Sep 3 23:32:06 PDT 2020

2
browser_patches/webkit/embedder/Playwright/mac/BrowserWindowController.m
View file

@ -476,7 +476,7 @@ static BOOL areEssentiallyEqual(double a, double b)
title = url.lastPathComponent ?: url._web_userVisibleString;
}
self.window.title = [NSString stringWithFormat:@"%@%@ [%d]%@", _isPrivateBrowsingWindow ? @"🙈 " : @"", title, _webView._webProcessIdentifier, @""];
self.window.title = title;
}
- (void)observeValueForKeyPath:(NSString *)keyPath ofObject:(id)object change:(NSDictionary *)change context:(void *)context