aloof-angle-91616
06/24/2018, 1:29 AM--task-progress-display-weights="[('select', 'c-compile', 100), ('select', 'zinc-compile', 200)]" to that you want zinc compilation to go to the top of progress displays, and c compilation as well, but less. expanding then what kinds of selectors are available (more than just 'select') and potentially expanding what you can specify as a weight for other types of ordering is interesting to think about (not thinking of being able to or wanting to do this as necessarily happening anytime soon)