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