atom/atom — pull request #2955 by nathansobo (2014-07-14 00:27:51+00:00)
Title: WIP: Use React editor for mini-editors

This is basically working, but the biggest remaining obstacle is determining when React-mini-editors are hidden in a comprehensive way.