[dots] Set empty title for new documents
- From: Fernando Herrera de las Heras <fherrera src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [dots] Set empty title for new documents
- Date: Thu, 2 Dec 2010 00:04:46 +0000 (UTC)
commit 3b4c391c6d2c612dfc61cb1edc2e769b16bc028f
Author: Fernando Herrera <fherrera onirica com>
Date: Thu Dec 2 01:01:35 2010 +0100
Set empty title for new documents
dots/app_window.py | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/dots/app_window.py b/dots/app_window.py
index 7966736..f49ab26 100644
--- a/dots/app_window.py
+++ b/dots/app_window.py
@@ -396,6 +396,8 @@ class AppWindow(object):
self.project.view_braille()
if document.input_file is not None:
self.window.set_title("Dots - " + os.path.basename(document.input_file))
+ else:
+ self.window.set_title("Dots")
self.project.connect("line-changed", self._onLineChanged)
def translate(self, document, config):
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]