- // 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());
- }