+ // If icon is set to empty, icon_ will not be reset to empty
+ // but will not be displayed. This is to avoid repeated loading
+ // of the same icon when figure status changes.
+ if (!params_.icon.empty()) {
+ support::FileName const icon = support::libFileSearch("images/",
+ params_.icon, "png");
+ if (!icon.empty()) // using an empty bounding box
+ icon_.reset(icon, graphics::Params());
+ }