[hitori] interface: Disable redo when making a move

[Philip Withnall <pwithnall src gnome org>]

commit b2590082de11ab72607693d7281f544e270c3dbe
Author: Philip Withnall <philip tecnocode co uk>
Date:   Wed Jun 11 09:47:21 2014 +0100

    interface: Disable redo when making a move
    
    Making a move will clear the redo stack, so the redo button is useless
    at that point.

 src/interface.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/interface.c b/src/interface.c
index aaa1322..c7014c0 100644
--- a/src/interface.c
+++ b/src/interface.c
@@ -358,6 +358,7 @@ hitori_button_release_cb (GtkWidget *drawing_area, GdkEventButton *event, Hitori
                hitori->undo_stack->redo = undo;
        hitori->undo_stack = undo;
        g_simple_action_set_enabled (hitori->undo_action, TRUE);
+       g_simple_action_set_enabled (hitori->redo_action, FALSE);
 
        /* Stop any current hints */
        hitori_cancel_hinting (hitori);