Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: f7cbab0158e5d6a0a19a46ea15a3ee6ae3a0cf6b
https://github.com/WebKit/WebKit/commit/f7cbab0158e5d6a0a19a46ea15a3ee6ae3a0cf6b
Author: Razvan Caliman <[email protected]>
Date: 2025-10-08 (Wed, 08 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
https://bugs.webkit.org/show_bug.cgi?id=300034
rdar://161417233
Reviewed by 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/301208@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
