Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 1dc23aacaab4c20035645233beee3e0dec733c26
https://github.com/WebKit/WebKit/commit/1dc23aacaab4c20035645233beee3e0dec733c26
Author: Razvan Caliman <[email protected]>
Date: 2025-10-07 (Tue, 07 Oct 2025)
Changed paths:
M Source/WebInspectorUI/UserInterface/Main.html
M Source/WebInspectorUI/UserInterface/Views/ConsolePrompt.js
Log Message:
-----------
Web Inspector: Remove reference to unused CodeMirror/overlay.js
rdar://161832664
https://bugs.webkit.org/show_bug.cgi?id=300034
Reviewed by BJ Burg and Devin Rousso.
CodeMirror/overlay.js doesn't exist anymore after
https://commits.webkit.org/300332@main
* Source/WebInspectorUI/UserInterface/Main.html:
* Source/WebInspectorUI/UserInterface/Views/ConsolePrompt.js:
(WI.ConsolePrompt):
Canonical link: https://commits.webkit.org/301134@main
To unsubscribe from these emails, change your notification settings at
https://github.com/WebKit/WebKit/settings/notifications
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
