changeset 10009:360de61b2722

corrected redundency in title setting introduced in previous changeset
author Shai Ayal <shaiay@users.sourceforge.net>
date Sun, 20 Dec 2009 23:07:31 +0200
parents b6261d776a82
children c5e9931c7ba7
files src/DLD-FUNCTIONS/fltk_backend.cc
diffstat 1 files changed, 1 insertions(+), 12 deletions(-) [+]
line wrap: on
line diff
--- a/src/DLD-FUNCTIONS/fltk_backend.cc	Sun Dec 20 23:02:08 2009 +0200
+++ b/src/DLD-FUNCTIONS/fltk_backend.cc	Sun Dec 20 23:07:31 2009 +0200
@@ -319,18 +319,7 @@
 
   void set_name (void)
   {
-    std::stringstream name;
-    std::string sep;
-
-    if (fp.is_numbertitle ()) 
-      {
-        name << "Figure " << number ();
-        sep = ": ";
-      }
-    if (fp.get_name ().size ())
-      name << sep << fp.get_name ();
-
-    window_label = name.str ();
+    window_label = fp.get_title ();
     label (window_label.c_str ());
   }