Method set_priority

plugins/autolabor/labormanager.cpp:129–129

    int priority() const { return config.ival(1); }
    void set_priority(int priority) { config.ival(1) = priority; }

    bool is_unmanaged() const { return maximum_dwarfs() == MAX_DWARFS_UNMANAGED; }
    int maximum_dwarfs() const { return config.ival(2); }