From b044e29ed2c9da9bc503b64a05b46683e146e281 Mon Sep 17 00:00:00 2001
From: Nikos Skalkotos <skalkoto@grnet.gr>
Date: Fri, 19 Oct 2012 13:38:45 +0300
Subject: [PATCH] Add the media source in the background title
---
image_creator/dialog_util.py | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/image_creator/dialog_util.py b/image_creator/dialog_util.py
index 00f8683..384019a 100644
--- a/image_creator/dialog_util.py
+++ b/image_creator/dialog_util.py
@@ -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)
--
GitLab