mouse can be used to resize panes (by dragging dividers)