Document and deprecate get_window_size(). Also, if it can't get the
window size, don't die.