[dots] Add document name to main window title

[Fernando Herrera de las Heras <fherrera src gnome org>]

commit f8c1bef3e4cdba4c08ef76f708d61437b12cb5df
Author: Fernando Herrera <fherrera onirica com>
Date:   Mon Sep 13 18:11:38 2010 +0200

    Add document name to main window title

 dots/app_window.py |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/dots/app_window.py b/dots/app_window.py
index b449d76..9edf5c1 100644
--- a/dots/app_window.py
+++ b/dots/app_window.py
@@ -373,6 +373,7 @@ class AppWindow(object):
 
         self.project = DotsProject(document, _("Unsaved Document"))
 	container.add(self.project)
+	self.window.set_title(os.path.basename(document.input_file) + " - dots")
         self.project.show_all()
 	self.project.connect("line-changed", self._onLineChanged)