2 #include "core/tool.hpp"
8 using ToolBase::ToolBase;
11 json serialize()
const override;
12 void load_from_json(
const json &j)
override;
16 std::map<ToolID, ToolSettings *> get_all_settings()
override;
19 void ask_line_width();
a class to store JSON values
Definition: json.hpp:177
zip_uint64_t uint64_t
zip_uint64_t_t typedef.
Definition: zip.hpp:108