Patch from Raphael Ackermann <raphael.ackermann@gmail.com> -- Fix 0001538: tabs and spaces are mixed in some source files

svn: r9713
2008-01-05 20:10:26 +00:00
parent aa8288eddd
commit bf3900f043
57 changed files with 499 additions and 440 deletions
--- a/src/UndoHistory.py
+++ b/src/UndoHistory.py
@@ -164,7 +164,7 @@ class UndoHistory(ManagedWindow.ManagedWindow):
                self._move(nsteps)
        elif response_id == gtk.RESPONSE_APPLY:
            self._clear_clicked()
-	elif response_id == gtk.RESPONSE_DELETE_EVENT:
+        elif response_id == gtk.RESPONSE_DELETE_EVENT:
            self.close(obj)

    def build_menu_names(self,obj):