715 |
715 |
716 @param debuggerId ID of a newly connected debugger backend |
716 @param debuggerId ID of a newly connected debugger backend |
717 @type str |
717 @type str |
718 """ |
718 """ |
719 self.__debuggersCombo.addItem(debuggerId) |
719 self.__debuggersCombo.addItem(debuggerId) |
|
720 self.debugUI.showNotification( |
|
721 self.tr("<p>Debugger with ID <b>{0}</b> has been connected.") |
|
722 .format(debuggerId)) |
720 |
723 |
721 def getSelectedDebuggerId(self): |
724 def getSelectedDebuggerId(self): |
722 """ |
725 """ |
723 Public method to get the currently selected debugger ID. |
726 Public method to get the currently selected debugger ID. |
724 |
727 |