mirror of
https://github.com/servo/servo
synced 2026-05-09 00:22:16 +02:00
92259af702
The pause debugger screen should be shown for both pausing manually (interrupt) and hitting a breakpoint. Reuse the logic for pausing breakpoints to pause the debugger when the user manually clicks the pause button. Rename the pause event to interrupt to match the language of the DevTools client and to avoid confusion with paused frames, which can happen on interrupt or on a breakpoint. https://github.com/user-attachments/assets/ceb0007d-0e57-44d6-a159-55980ff8b517 Testing: New DevTools test and manual testing. Part of: #36027 cc @atbrakhi --------- Signed-off-by: eri <eri@igalia.com> Co-authored-by: atbrakhi <atbrakhi@igalia.com>
27 lines
830 B
Plaintext
27 lines
830 B
Plaintext
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at https://mozilla.org/MPL/2.0/. */
|
|
|
|
// This interface is entirely internal to Servo, and should not be accessible to
|
|
// web pages.
|
|
[Exposed=DebuggerGlobalScope]
|
|
interface DebuggerInterruptEvent : Event {};
|
|
|
|
partial interface DebuggerGlobalScope {
|
|
undefined pauseAndRespond(
|
|
PipelineIdInit pipelineId,
|
|
PausedFrame result,
|
|
boolean is_breakpoint);
|
|
};
|
|
|
|
dictionary PausedFrame {
|
|
required unsigned long column;
|
|
required DOMString displayName;
|
|
required unsigned long line;
|
|
required boolean onStack;
|
|
required boolean oldest;
|
|
required boolean terminated;
|
|
required DOMString type_;
|
|
required DOMString url;
|
|
};
|