[anjuta] terminal: Fix incompatible pointer type warning

[Sebastien Granjoux <sgranjoux src gnome org>]

commit f41cddcdb6a0dd52a9fc0adfc073499b3f6baeb2
Author: Debarshi Ray <debarshir gnome org>
Date:   Tue Aug 5 11:41:34 2014 +0200

    terminal: Fix incompatible pointer type warning
    
    A gchar ** needs to be explicitly typecast to const gchar **.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=734268

 plugins/terminal/terminal.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/terminal/terminal.c b/plugins/terminal/terminal.c
index ad5a6cc..11d9a07 100644
--- a/plugins/terminal/terminal.c
+++ b/plugins/terminal/terminal.c
@@ -274,7 +274,7 @@ terminal_set_preferences (VteTerminal *term, GSettings* settings, TerminalPlugin
        g_free (str_val);
 
        str_vals = g_settings_get_strv(profile_settings, TERMINAL_PROFILE_PALETTE_KEY);
-       strv_to_rgbav (str_vals, &size, &palette);
+       strv_to_rgbav ((const gchar **) str_vals, &size, &palette);
        g_free (str_vals);
 
        /* vte_terminal_set_colors() works even if the terminal widget is not realized,