Cover: keep highlighted buffers at the top