- String filename(canvas_interface_->get_canvas()->get_file_name());
-
- // if the basename of the filename has an extension, remove it
- String base = basename(filename);
- if(find(base.begin(),base.end(),'.')!=base.end())
- filename = String(filename.begin(), filename.begin()+filename.find_last_of('.'));