# HG changeset patch # User Kai Habel # Date 1313434558 -7200 # Node ID 58e46be87180bd759b09071150f68eb568e9ff54 # Parent a4eb4d6bbd61015b3f8f8a62672a3e89ccef2999 Apply bug fix for figure name from V. Sergeev (bug #34001) diff -r a4eb4d6bbd61 -r 58e46be87180 src/DLD-FUNCTIONS/__init_fltk__.cc --- a/src/DLD-FUNCTIONS/__init_fltk__.cc Mon Aug 15 11:32:21 2011 -0400 +++ b/src/DLD-FUNCTIONS/__init_fltk__.cc Mon Aug 15 20:55:58 2011 +0200 @@ -1840,10 +1840,10 @@ case figure::properties::ID_MENUBAR: figure_manager::toggle_menubar_visibility (ov.string_value (), fp.menubar_is("figure")); break; - case figure::properties::ID_NAME: case figure::properties::ID_CURRENTAXES: figure_manager::update_canvas (go.get_handle (), fp.get_currentaxes ()); break; + case figure::properties::ID_NAME: case figure::properties::ID_NUMBERTITLE: figure_manager::set_name (ov.string_value ()); break;