equal
deleted
inserted
replaced
321 ! ! |
321 ! ! |
322 |
322 |
323 !VDBSourceApplication methodsFor:'event handling'! |
323 !VDBSourceApplication methodsFor:'event handling'! |
324 |
324 |
325 onStoppedEvent: aGDBStoppedEvent |
325 onStoppedEvent: aGDBStoppedEvent |
326 self enqueueDelayedUpdate: #delayedUpdateCurrentLine |
326 self enqueueMessage: #delayedUpdateCurrentLine |
327 |
327 |
328 "Created: / 01-02-2018 / 15:23:46 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
328 "Created: / 01-02-2018 / 15:23:46 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
329 "Modified: / 02-10-2018 / 11:04:21 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
329 "Modified: / 18-02-2019 / 10:23:51 / Jan Vrany <jan.vrany@fit.cvut.cz>" |
330 ! ! |
330 ! ! |
331 |
331 |
332 !VDBSourceApplication methodsFor:'initialization & release'! |
332 !VDBSourceApplication methodsFor:'initialization & release'! |
333 |
333 |
334 subscribe |
334 subscribe |