Method priority

plugins/autolabor/labormanager.cpp:128–128

    int busy_dwarfs;

    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; }