diff options
author | René 'Necoro' Neumann <necoro@necoro.net> | 2008-06-08 00:12:17 +0200 |
---|---|---|
committer | René 'Necoro' Neumann <necoro@necoro.net> | 2008-06-08 00:12:17 +0200 |
commit | 5f9e42aa2ecac5c718496c95bc631830b92ae4ef (patch) | |
tree | 063cdd21b987ee1c6d93d2215a59a0e30c6a6a41 /portato/gui/windows | |
parent | b19c6eafe663dee94aa9c76032ebab4f419013ec (diff) | |
download | portato-5f9e42aa2ecac5c718496c95bc631830b92ae4ef.tar.gz portato-5f9e42aa2ecac5c718496c95bc631830b92ae4ef.tar.bz2 portato-5f9e42aa2ecac5c718496c95bc631830b92ae4ef.zip |
Make the console title length changeable by the user
Diffstat (limited to '')
-rw-r--r-- | portato/gui/windows/main.py | 3 | ||||
-rw-r--r-- | portato/gui/windows/preference.py | 6 |
2 files changed, 8 insertions, 1 deletions
diff --git a/portato/gui/windows/main.py b/portato/gui/windows/main.py index 412ea1c..4eac88b 100644 --- a/portato/gui/windows/main.py +++ b/portato/gui/windows/main.py @@ -1166,7 +1166,8 @@ class MainWindow (Window): else: title = ("%s (%s)") % (_("Console"), title) - if (len(title) > 60): title = "%s..." % title[:57] + tlength = int(self.cfg.get("titlelength", "GUI")) + if (len(title) > tlength): title = "%s..." % title[:tlength-3] self.sysNotebook.set_tab_label_text(self.termHB, title) return False diff --git a/portato/gui/windows/preference.py b/portato/gui/windows/preference.py index 991e7b3..54db879 100644 --- a/portato/gui/windows/preference.py +++ b/portato/gui/windows/preference.py @@ -106,6 +106,10 @@ class PreferenceWindow (AbstractDialog): self.consoleFontBtn = self.tree.get_widget("consoleFontBtn") self.consoleFontBtn.set_font_name(self.cfg.get("consolefont", section = "GUI")) + # the console title length spin button + self.titleLengthSpinBtn = self.tree.get_widget("titleLengthSpinBtn") + self.titleLengthSpinBtn.set_value(int(self.cfg.get("titlelength", section = "GUI"))) + # the comboboxes self.systemTabCombo = self.tree.get_widget("systemTabCombo") self.pkgTabCombo = self.tree.get_widget("packageTabCombo") @@ -140,6 +144,8 @@ class PreferenceWindow (AbstractDialog): self.cfg.set("consolefont", font, section = "GUI") self.console_fn(font) + self.cfg.set("titlelength", self.titleLengthSpinBtn.get_value(), section = "GUI") + pkgPos = self.pkgTabCombo.get_active()+1 sysPos = self.systemTabCombo.get_active()+1 |