diff -r 7c7251ce9497 -r 61b3849df76d Debugger/DebugUI.py
--- a/Debugger/DebugUI.py Sun Nov 04 17:39:08 2012 +0100
+++ b/Debugger/DebugUI.py Mon Nov 05 16:55:16 2012 +0100
@@ -962,11 +962,11 @@
if self.ui.notificationsEnabled():
if self.ui.currentProg is None:
msg = self.trUtf8('The program has terminated with an exit'
- ' status of {0}.\n').format(status)
+ ' status of {0}.').format(status)
else:
msg = self.trUtf8('"{0}" has terminated with an exit'
- ' status of {1}.\n')\
- .format(Utilities.normabspath(self.ui.currentProg), status)
+ ' status of {1}.')\
+ .format(os.path.basename(self.ui.currentProg), status)
self.ui.showNotification(UI.PixmapCache.getPixmap("debug48.png"),
self.trUtf8("Program terminated"), msg)
else:
