Fix compilation warning about panel_draw_label_text() args.
authorAndriy Grytsenko <andrej@rep.kiev.ua>
Tue, 18 Feb 2014 13:31:54 +0000 (15:31 +0200)
committerAndriy Grytsenko <andrej@rep.kiev.ua>
Tue, 18 Feb 2014 13:31:54 +0000 (15:31 +0200)
src/panel.c
src/panel.h

index d156950..84d2543 100644 (file)
@@ -1124,8 +1124,9 @@ void panel_adjust_geometry_terminology(Panel * p)
 }
 
 /* Draw text into a label, with the user preference color and optionally bold. */
-void panel_draw_label_text(Panel * p, GtkWidget * label, char * text, gboolean bold,
-        float custom_size_factor, gboolean custom_color)
+void panel_draw_label_text(Panel * p, GtkWidget * label, const char * text,
+                           gboolean bold, float custom_size_factor,
+                           gboolean custom_color)
 {
     if (text == NULL)
     {
@@ -1151,9 +1152,9 @@ void panel_draw_label_text(Panel * p, GtkWidget * label, char * text, gboolean b
 
     /* Check the string for characters that need to be escaped.
      * If any are found, create the properly escaped string and use it instead. */
-    char * valid_markup = text;
+    const char * valid_markup = text;
     char * escaped_text = NULL;
-    char * q;
+    const char * q;
     for (q = text; *q != '\0'; q += 1)
     {
         if ((*q == '<') || (*q == '>') || (*q == '&'))
index 8d0455b..35072e1 100644 (file)
@@ -84,8 +84,9 @@ extern void panel_apply_icon(GtkWindow *w);
 extern void panel_destroy(Panel *p);
 extern void panel_adjust_geometry_terminology(Panel *p);
 extern void panel_determine_background_pixmap(Panel * p, GtkWidget * widget, GdkWindow * window);
-extern void panel_draw_label_text(Panel * p, GtkWidget * label, char * text, gboolean bold,
-        float custom_size_factor, gboolean custom_color);
+extern void panel_draw_label_text(Panel * p, GtkWidget * label, const char * text,
+                                  gboolean bold, float custom_size_factor,
+                                  gboolean custom_color);
 extern void panel_establish_autohide(Panel *p);
 extern void panel_image_set_from_file(Panel * p, GtkWidget * image, const char * file);
 extern gboolean panel_image_set_icon_theme(Panel * p, GtkWidget * image, const gchar * icon);