pub fn set_desktops(state: &mut AppState, count: u32, current: u32)
The policy said how many desktops there are and which is current: every pager is told what changed, in one batch.