add aggressive-resize option
add renumber-window option