Zachary Yedidia 8d1618692e Disallow view switching during a search ... Closes #642 This commit also removes some unnecessary functions that weren't being used.		2017-05-05 10:52:09 -04:00
..
micro	Disallow view switching during a search	2017-05-05 10:52:09 -04:00