diff src/graphics.cc @ 7419:f62fb98f1da2

[project @ 2008-01-25 08:24:48 by jwe]
author jwe
date Fri, 25 Jan 2008 08:24:48 +0000
parents 73036cdd855d
children 65f0a8ced9d2
line wrap: on
line diff
--- a/src/graphics.cc	Fri Jan 25 07:19:27 2008 +0000
+++ b/src/graphics.cc	Fri Jan 25 08:24:48 2008 +0000
@@ -1149,6 +1149,17 @@
     gh_manager::free (children(i));
 }
 
+graphics_backend
+base_properties::get_backend (void) const
+{
+  graphics_object go = gh_manager::get_object (get_parent ());
+
+  if (go)
+    return go.get_backend ();
+  else
+    return graphics_backend ();
+}
+
 // ---------------------------------------------------------------------
 
 class gnuplot_backend : public base_graphics_backend
@@ -2466,9 +2477,7 @@
 			    {
 			      graphics_object go = gh_manager::get_object (h);
 
-			      figure::properties& fprops = dynamic_cast<figure::properties&> (go.get_properties ());
-
-			      fprops.get_backend ()
+			      go.get_backend ()
 				.print_figure (h, term, file, mono, debug_file);
 			    }
 			  else