Update the UI when the connection dies
This commit is contained in:
parent
2f8a0b0e97
commit
942e04ef4d
1 changed files with 3 additions and 0 deletions
|
|
@ -55,6 +55,7 @@ class ProjectBreakpoints( object ):
|
||||||
self._exceptionBreakpoints = None
|
self._exceptionBreakpoints = None
|
||||||
self._server_capabilities = {}
|
self._server_capabilities = {}
|
||||||
self._connection = None
|
self._connection = None
|
||||||
|
self.UpdateUI()
|
||||||
|
|
||||||
# for each breakpoint:
|
# for each breakpoint:
|
||||||
# clear its resolved status
|
# clear its resolved status
|
||||||
|
|
@ -160,6 +161,8 @@ class ProjectBreakpoints( object ):
|
||||||
if not self._breakpoints_handler:
|
if not self._breakpoints_handler:
|
||||||
def handler( source, msg ):
|
def handler( source, msg ):
|
||||||
return self._ShowBreakpoints()
|
return self._ShowBreakpoints()
|
||||||
|
|
||||||
|
assert False
|
||||||
else:
|
else:
|
||||||
handler = self._breakpoints_handler
|
handler = self._breakpoints_handler
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue