Set the size of the splitters in explorer and SQL console - #74