Horizon
tool_helper_line_width_setting.hpp
1 #pragma once
2 #include "core/tool.hpp"
3 
4 namespace horizon {
5 
7 public:
8  using ToolBase::ToolBase;
9  class Settings : public ToolSettings {
10  public:
11  json serialize() const override;
12  void load_from_json(const json &j) override;
13  uint64_t width = 0;
14  };
15 
16  std::map<ToolID, ToolSettings *> get_all_settings() override;
17 
18 protected:
19  void ask_line_width();
20 
21  Settings settings;
22 };
23 } // namespace horizon
Common interface for all Tools.
Definition: tool_pub.hpp:94
Definition: tool_helper_line_width_setting.hpp:9
Definition: tool_helper_line_width_setting.hpp:6
Definition: tool_pub.hpp:82
a class to store JSON values
Definition: json.hpp:177
zip_uint64_t uint64_t
zip_uint64_t_t typedef.
Definition: zip.hpp:108