diff src/DLD-FUNCTIONS/fltk_backend.cc @ 8077:a4e03f9b4b8a

Fix FLTK backend update
author Michael Goffioul
date Sun, 31 Aug 2008 11:14:34 -0400
parents 09f32aac8fbc
children 22c078fd926b
line wrap: on
line diff
--- a/src/DLD-FUNCTIONS/fltk_backend.cc	Sun Aug 31 11:14:20 2008 -0400
+++ b/src/DLD-FUNCTIONS/fltk_backend.cc	Sun Aug 31 11:14:34 2008 -0400
@@ -723,12 +723,12 @@
       }
   }
 
-  void redraw_figure (const graphics_handle& fh) const
+  void redraw_figure (const graphics_object& go) const
   {
-    figure_manager::Instance ().mark_modified (fh);
+    figure_manager::Instance ().mark_modified (go.get_handle ());
   }
 
-  void print_figure (const graphics_handle& /*fh*/,
+  void print_figure (const graphics_object& /*go*/,
 		     const std::string& /*term*/,
 		     const std::string& /*file*/, bool /*mono*/,
 		     const std::string& /*debug_file*/) const { }