Modified setting: shell-pop.el.