From 88667a7c5e2c1c8ce9b631fa1e05839d3fb37756 Mon Sep 17 00:00:00 2001
From: Doug Blank <doug.blank@gmail.com>
Date: Thu, 19 Aug 2010 23:32:36 +0000
Subject: [PATCH] Reset buttons when we reset the buffer

svn: r15778
---
 src/gui/widgets/styledtexteditor.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/gui/widgets/styledtexteditor.py b/src/gui/widgets/styledtexteditor.py
index 18e8ac79d..89591e95e 100644
--- a/src/gui/widgets/styledtexteditor.py
+++ b/src/gui/widgets/styledtexteditor.py
@@ -398,6 +398,8 @@ class StyledTextEditor(gtk.TextView):
         Reset the undoable buffer
         """
         self.textbuffer.reset()
+        self.undo_action.set_sensitive(False)
+        self.redo_action.set_sensitive(False)
 
     # private methods