2#include "core/tool.hpp"
8 using ToolBase::ToolBase;
11 json serialize()
const override;
12 void load_from_json(
const json &j)
override;
13 uint64_t net_label_size = 1.5_mm;
16 std::map<ToolID, ToolSettings *> get_all_settings()
override;
19 void step_net_label_size(
bool up);
20 void ask_net_label_size();
a class to store JSON values
Definition json.hpp:177