Based on main and #184 , therefore quite a lot of commits that are really just merging in main.
Adds JS to (roughly) handle the case of multi-selecting several checkboxes at once:
(Still remaining: If you select the lower one, it will focus the top one, meaning you might jump to the top. I don't think it's worth solving, as my hunch is it will require quite a lot of work for very little gain)
Makes space type facility selection easier, by using a long list of check boxes instead of tom select
Styles quickly the admin pages for space type and adds facility count, so admins can see which space types have facilities and not:
And adds a header (non translated) to the other admin pages
Based on main and #184 , therefore quite a lot of commits that are really just merging in main.
Adds JS to (roughly) handle the case of multi-selecting several checkboxes at once:
(Still remaining: If you select the lower one, it will focus the top one, meaning you might jump to the top. I don't think it's worth solving, as my hunch is it will require quite a lot of work for very little gain)
Makes space type facility selection easier, by using a long list of check boxes instead of tom select
Styles quickly the admin pages for space type and adds facility count, so admins can see which space types have facilities and not:
And adds a header (non translated) to the other admin pages