[webkit-changes] [WebKit/WebKit] 571358: [GTK] Better scaling for DPI.

2024-05-18 Thread Glen Whitney
Branch: refs/heads/main Home: https://github.com/WebKit/WebKit Commit: 5713584438d253c13cb10966d7bac9cef1f9082f https://github.com/WebKit/WebKit/commit/5713584438d253c13cb10966d7bac9cef1f9082f Author: Glen Whitney Date: 2024-05-18 (Sat, 18 May 2024) Changed paths: M

[webkit-changes] [WebKit/WebKit] 95b1c0: Cherry-pick 277537@main (51f27458d0d4). https://bu...

2024-05-02 Thread Glen Whitney
Branch: refs/heads/webkitglib/2.44 Home: https://github.com/WebKit/WebKit Commit: 95b1c087a1c04ae277bb4afda8f40c5c873d40fe https://github.com/WebKit/WebKit/commit/95b1c087a1c04ae277bb4afda8f40c5c873d40fe Author: Glen Whitney Date: 2024-05-02 (Thu, 02 May 2024) Changed

[webkit-changes] [WebKit/WebKit] eb01ec: [GTK] Correct scaling for DPI.

2024-04-29 Thread Glen Whitney
Branch: refs/heads/main Home: https://github.com/WebKit/WebKit Commit: eb01eca78d82335d2372d2add5ce5e4304b71930 https://github.com/WebKit/WebKit/commit/eb01eca78d82335d2372d2add5ce5e4304b71930 Author: Glen Whitney Date: 2024-04-29 (Mon, 29 Apr 2024) Changed paths: M

[webkit-changes] [WebKit/WebKit] 51f274: [GTK] Rename screenDPI() to fontDPI() where used f...

2024-04-16 Thread Glen Whitney
Branch: refs/heads/main Home: https://github.com/WebKit/WebKit Commit: 51f27458d0d4eed34bcca196cdf4fe2252fc0340 https://github.com/WebKit/WebKit/commit/51f27458d0d4eed34bcca196cdf4fe2252fc0340 Author: Glen Whitney Date: 2024-04-16 (Tue, 16 Apr 2024) Changed paths