Merge branch 'main' into highlight_error

Author: svenjeschmitt-ops

python/mqt/debugger/dap/dap_server.py

@@ -113,6 +113,7 @@ def __init__(self, host: str = "127.0.0.1", port: int = 4711) -> None:
         self.port = port
         self.can_step_back = False
         self.simulation_state = mqt.debugger.SimulationState()
+        self.source_file = {}
         self.lines_start_at_one = True
         self.columns_start_at_one = True
         self.pending_highlights: list[dict[str, Any]] = []
@@ -190,6 +191,10 @@ def handle_client(self, connection: socket.socket) -> None:
                 e = mqt.debugger.dap.messages.InitializedDAPEvent()
                 event_payload = json.dumps(e.encode())
                 send_message(event_payload, connection)
+            if isinstance(
+                cmd, (mqt.debugger.dap.messages.LaunchDAPMessage, mqt.debugger.dap.messages.RestartDAPMessage)
+            ):
+                self.reset_gray_out(connection)
             if (
                 isinstance(
                     cmd, (mqt.debugger.dap.messages.LaunchDAPMessage, mqt.debugger.dap.messages.RestartDAPMessage)
@@ -309,6 +314,14 @@ def handle_command(self, command: dict[str, Any]) -> tuple[dict[str, Any], mqt.d
         msg = f"Unsupported command: {command['command']}"
         raise RuntimeError(msg)
 
+    def reset_gray_out(self, connection: socket.socket) -> None:
+        """Reset all gray-out highlights in the client."""
+        if not self.source_file:
+            return
+        e = mqt.debugger.dap.messages.GrayOutDAPEvent([], self.source_file)
+        event_payload = json.dumps(e.encode())
+        send_message(event_payload, connection)
+
     def handle_assertion_fail(self, connection: socket.socket) -> None:
         """Handles the sending of output events when an assertion fails.