11 bool has_object_type(ObjectType ty)
const override;
13 Frame &get_frame()
override;
14 const Frame &get_canvas_data()
const;
17 std::pair<Coordi, Coordi> get_bbox()
override;
19 const std::string &get_filename()
const override;
21 ObjectType get_object_type()
const override
23 return ObjectType::FRAME;
32 void set_filename(
const std::string &filename);
34 bool get_property_meta(ObjectType type,
const UUID &uu, ObjectProperty::ID property,
38 std::map<UUID, Polygon> *get_polygon_map()
override;
39 std::map<UUID, Junction> *get_junction_map()
override;
40 std::map<UUID, Text> *get_text_map()
override;
41 std::map<UUID, Line> *get_line_map()
override;
42 std::map<UUID, Arc> *get_arc_map()
override;
46 std::string m_frame_filename;
48 void rebuild_internal(
bool from_undo,
const std::string &comment)
override;
49 std::unique_ptr<HistoryManager::HistoryItem> make_history_item(
const std::string &comment)
override;
51 void save(
const std::string &suffix)
override;
52 void delete_autosave()
override;
Definition history_manager.hpp:10