ipython/ipython — pull request #3685 by minrk (2013-07-18 21:43:25+00:00)
Title: fix Pager.detach

detaching the pager would result in the pager not working anymore.