Reduce width of explorer window when appropriate