rename "refresh output" to "check for compile errors" ? - Githubissues

shapr / ghclive

Google Summer of Code 2012 project, GHCi for the web

BSD 3-Clause "New" or "Revised" License

52 stars 7 forks source link

rename "refresh output" to "check for compile errors" ? #19

Closed shapr closed 12 years ago

shapr commented 12 years ago

rename "refresh output" to "check for compile errors" ?

With the current UI the refresh output button is more like "show any compiler errors", maybe it should be renamed?