[gnome-terminal] profile: editor: Also reset the encoding

[Christian Persch <chpe src gnome org>]

commit 97841c15c4086124a222e6afdfc1d63ac69d8f4b
Author: Christian Persch <chpe gnome org>
Date:   Thu Apr 3 08:56:33 2014 +0200

    profile: editor: Also reset the encoding
    
    Add resetting the encoding to default (UTF-8) to the keys reset from the 'reset' button.

 src/profile-editor.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/profile-editor.c b/src/profile-editor.c
index 3f7bd8d..ea95320 100644
--- a/src/profile-editor.c
+++ b/src/profile-editor.c
@@ -436,6 +436,7 @@ reset_compat_defaults_cb (GtkWidget *button,
 {
   g_settings_reset (profile, TERMINAL_PROFILE_DELETE_BINDING_KEY);
   g_settings_reset (profile, TERMINAL_PROFILE_BACKSPACE_BINDING_KEY);
+  g_settings_reset (profile, TERMINAL_PROFILE_ENCODING_KEY);
 }
 
 /*