3 #include "pool/unit.hpp"
4 #include "util/changeable.hpp"
9 using PinNames = std::map<UUID, Pin::AlternateName>;
16 Gtk::Label *label =
nullptr;
17 Gtk::Popover *popover =
nullptr;
18 Gtk::Box *box =
nullptr;
Definition: changeable.hpp:5
Definition: pin_names_editor.cpp:7
Definition: pin_names_editor.hpp:7
This class encapsulates a UUID and allows it to be uses as a value type.
Definition: uuid.hpp:16