[dia] [warningectomy] passing argument discards ‘const’ qualifier

[Hans Breuer <hans src gnome org>]

commit 5cd968d9114ea98a92acf63424e914c086d9cd6b
Author: Hans Breuer <hans breuer org>
Date:   Sat May 4 20:25:53 2013 +0200

    [warningectomy] passing argument discards ‘const’ qualifier
    
    diagram_add_update() and display_add_update() take a
    const Rectangle* now.

 app/diagram.c |    2 +-
 app/diagram.h |    2 +-
 app/display.c |    2 +-
 app/display.h |    2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/app/diagram.c b/app/diagram.c
index dd37043..7f0a3bc 100644
--- a/app/diagram.c
+++ b/app/diagram.c
@@ -867,7 +867,7 @@ diagram_add_update_all(Diagram *dia)
 }
 
 void
-diagram_add_update(Diagram *dia, Rectangle *update)
+diagram_add_update(Diagram *dia, const Rectangle *update)
 {
   GSList *l;
   DDisplay *ddisp;
diff --git a/app/diagram.h b/app/diagram.h
index b99e0d3..57af30b 100644
--- a/app/diagram.h
+++ b/app/diagram.h
@@ -96,7 +96,7 @@ int diagram_is_selected(Diagram *diagram, DiaObject *obj);
 GList *diagram_get_sorted_selected(Diagram *dia);
 /* Removes selected from objects list, NOT selected list: */
 GList *diagram_get_sorted_selected_remove(Diagram *dia);
-void diagram_add_update(Diagram *dia, Rectangle *update);
+void diagram_add_update(Diagram *dia, const Rectangle *update);
 void diagram_add_update_with_border(Diagram *dia, Rectangle *update,
                                    int pixel_border);
 void diagram_add_update_all(Diagram *dia);
diff --git a/app/display.c b/app/display.c
index 04049f6..9aec368 100644
--- a/app/display.c
+++ b/app/display.c
@@ -464,7 +464,7 @@ ddisplay_add_update_with_border(DDisplay *ddisp, Rectangle *rect,
 }
 
 void
-ddisplay_add_update(DDisplay *ddisp, Rectangle *rect)
+ddisplay_add_update(DDisplay *ddisp, const Rectangle *rect)
 {
   Rectangle *r;
   int top,bottom,left,right;
diff --git a/app/display.h b/app/display.h
index c7a935b..942a209 100644
--- a/app/display.h
+++ b/app/display.h
@@ -134,7 +134,7 @@ void ddisplay_add_update_pixels(DDisplay *ddisp, Point *point,
 void ddisplay_add_update_all(DDisplay *ddisp);
 void ddisplay_add_update_with_border(DDisplay *ddisp, Rectangle *rect,
                                     int pixel_border);
-void ddisplay_add_update(DDisplay *ddisp, Rectangle *rect);
+void ddisplay_add_update(DDisplay *ddisp, const Rectangle *rect);
 void ddisplay_add_display_area(DDisplay *ddisp,
                               int left, int top,
                               int right, int bottom);