diff options
| author | Sebastian Heinlein <sebastian.heinlein@web.de> | 2006-01-24 20:19:19 +0100 |
|---|---|---|
| committer | Sebastian Heinlein <sebastian.heinlein@web.de> | 2006-01-24 20:19:19 +0100 |
| commit | 799173d10917ac130d9ccb8a54c9a12b3be2b49e (patch) | |
| tree | e4d94c8462ee09b877dd7594e3a9737941c06ef5 | |
| parent | 856ddf07d09287fefd81f6a7968cbf8110981040 (diff) | |
| download | python-apt-799173d10917ac130d9ccb8a54c9a12b3be2b49e.tar.gz | |
* use a wider border in the synaptic window
* unset title and set skip taskbar and pager hint
* comment in finishUpdate - Sorry
| -rw-r--r-- | DistUpgrade/DistUpgradeViewGtk.py | 6 | ||||
| -rw-r--r-- | UpdateManager/UpdateManager.py | 9 |
2 files changed, 7 insertions, 8 deletions
diff --git a/DistUpgrade/DistUpgradeViewGtk.py b/DistUpgrade/DistUpgradeViewGtk.py index f538c1a9..09c6703d 100644 --- a/DistUpgrade/DistUpgradeViewGtk.py +++ b/DistUpgrade/DistUpgradeViewGtk.py @@ -164,9 +164,9 @@ class GtkInstallProgressAdapter(InstallProgress): while not self.finished: self.updateInterface() return self.apt_status - # def finishUpdate(self): - #self.progress.hide() - #self.label_status.set_text("") + def finishUpdate(self): + self.progress.hide() + self.label_status.set_text("") def updateInterface(self): InstallProgress.updateInterface(self) self.progress.set_fraction(self.percent/100.0) diff --git a/UpdateManager/UpdateManager.py b/UpdateManager/UpdateManager.py index 66e5f077..d2c2bc54 100644 --- a/UpdateManager/UpdateManager.py +++ b/UpdateManager/UpdateManager.py @@ -546,13 +546,12 @@ class UpdateManager(SimpleGladeApp): self.window_main.set_sensitive(False) # create a progress window that will swallow the synaptic progress bars win = gtk.Window() - if action==UPDATE: - win.set_title(_("Updating package list...")) - else: - win.set_title(_("Installing updates...")) - win.set_border_width(6) + win.set_title("") + win.set_border_width(12) win.set_transient_for(self.window_main) win.set_position(gtk.WIN_POS_CENTER_ON_PARENT) + win.set_property("skip-taskbar-hint", True) + win.set_property("skip-pager-hint", True) win.resize(400,200) win.set_resizable(False) # prevent the window from closing with the delete button (there is |
