[dia] [warningectomy] const correctness for diagram_add_update_with_border

[Hans Breuer <hans src gnome org>]

commit b7d8afa9c8864d0815a4b13bd37371e0e8baf9c7
Author: Hans Breuer <hans breuer org>
Date:   Sun Nov 16 12:23:41 2014 +0100

    [warningectomy] const correctness for diagram_add_update_with_border
    
    also for ddisplay_add_update_with_border()

 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 fde83fe..bd13876 100644
--- a/app/diagram.c
+++ b/app/diagram.c
@@ -888,7 +888,7 @@ diagram_add_update(Diagram *dia, const Rectangle *update)
  * Currently used for leaving room for highlighting.
  * */
 void
-diagram_add_update_with_border(Diagram *dia, Rectangle *update,
+diagram_add_update_with_border(Diagram *dia, const Rectangle *update,
                               int pixel_border)
 {
   GSList *l;
diff --git a/app/diagram.h b/app/diagram.h
index 7d99ce5..1c213cf 100644
--- a/app/diagram.h
+++ b/app/diagram.h
@@ -95,7 +95,7 @@ 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, const Rectangle *update);
-void diagram_add_update_with_border(Diagram *dia, Rectangle *update,
+void diagram_add_update_with_border(Diagram *dia, const Rectangle *update,
                                    int pixel_border);
 void diagram_add_update_all(Diagram *dia);
 void diagram_add_update_pixels(Diagram *dia, Point *point,
diff --git a/app/display.c b/app/display.c
index f8f99c0..c44cea6 100644
--- a/app/display.c
+++ b/app/display.c
@@ -408,7 +408,7 @@ ddisplay_add_update_all(DDisplay *ddisp)
 /** Marks a rectangle for update, with a pixel border around it.
  */
 void
-ddisplay_add_update_with_border(DDisplay *ddisp, Rectangle *rect,
+ddisplay_add_update_with_border(DDisplay *ddisp, const Rectangle *rect,
                                int pixel_border)
 {
   Rectangle r;
diff --git a/app/display.h b/app/display.h
index 942a209..2fef0f0 100644
--- a/app/display.h
+++ b/app/display.h
@@ -132,7 +132,7 @@ real ddisplay_untransform_length(DDisplay *ddisp, real len);
 void ddisplay_add_update_pixels(DDisplay *ddisp, Point *point,
                                       int pixel_width, int pixel_height);
 void ddisplay_add_update_all(DDisplay *ddisp);
-void ddisplay_add_update_with_border(DDisplay *ddisp, Rectangle *rect,
+void ddisplay_add_update_with_border(DDisplay *ddisp, const Rectangle *rect,
                                     int pixel_border);
 void ddisplay_add_update(DDisplay *ddisp, const Rectangle *rect);
 void ddisplay_add_display_area(DDisplay *ddisp,