gui: Speed up rendering of large tables that are only partly visible.

[pspp] / src / output / render.h

diff --git a/src/output/render.h b/src/output/render.h
index af779843b9209195cc5cab8c77acff87a5bf9224..f6035cf0ab52fae1c16c55d9acdc383bf3be4a02 100644 (file)
--- a/src/output/render.h
+++ b/src/output/render.h
@@ -93,6 +93,8 @@ void render_page_unref (struct render_page *);
 
 int render_page_get_size (const struct render_page *, enum table_axis);
 void render_page_draw (const struct render_page *);
+void render_page_draw_region (const struct render_page *,
+                              int x, int y, int w, int h);
 \f
 /* An iterator for breaking render_pages into smaller chunks. */
 struct render_break