Zachary Yedidia a37c30b889 Fix resize when prompt is active ... Fixes #1020		2018-02-04 22:58:20 -05:00
..
micro	Fix resize when prompt is active	2018-02-04 22:58:20 -05:00