Add the media source in the background title
authorNikos Skalkotos <skalkoto@grnet.gr>
Fri, 19 Oct 2012 10:38:45 +0000 (13:38 +0300)
committerNikos Skalkotos <skalkoto@grnet.gr>
Fri, 19 Oct 2012 10:38:45 +0000 (13:38 +0300)
image_creator/dialog_util.py

index 00f8683..384019a 100644 (file)
@@ -44,6 +44,7 @@ WIDTH = 70
 def update_background_title(session):
     d = session['dialog']
     dev = session['device']
+    disk = session['disk']
 
     MB = 2 ** 20
 
@@ -51,8 +52,9 @@ def update_background_title(session):
     shrinked = 'shrinked' in session and session['shrinked']
     postfix = " (shrinked)" if shrinked else ''
 
-    title = "OS: %s, Distro: %s, Size: %dMB%s" % \
-            (dev.ostype, dev.distro, size, postfix)
+    title = "OS: %s, Distro: %s, Size: %dMB%s, Source: %s" % \
+            (dev.ostype, dev.distro, size, postfix,
+             os.path.abspath(disk.source))
 
     d.setBackgroundTitle(title)