(Then there might be a window-local cursor set, but that is later)