japaric/rust-by-example — pull request #84 by vojtechkral (2014-06-06 21:31:45+00:00)
Title: Fix refresh

Reinitialize the editor when navigating.