[gedit-plugins] commander: missing ;

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 2ef8c62dca28df0d5f1139729b020010d509628d
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Mon Jan 2 22:03:42 2012 +0100

    commander: missing ;

 plugins/commander/commander/entry.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/commander/commander/entry.py b/plugins/commander/commander/entry.py
index a70d630..d0e0d2a 100644
--- a/plugins/commander/commander/entry.py
+++ b/plugins/commander/commander/entry.py
@@ -73,7 +73,7 @@ class Entry(Gtk.EventBox):
 };
 
 GtkEntry#gedit-commander-entry {
-	gtk-key-bindings: terminal-like-bindings
+	gtk-key-bindings: terminal-like-bindings;
 }
 """)