rename 'follow' to 'follow tutorial in editor'

This commit is contained in:
Peli de Halleux 2015-02-10 09:15:10 -08:00
Родитель ccc50bbbaa
Коммит 515e2f3b82
1 изменённых файлов: 1 добавлений и 1 удалений

Просмотреть файл

@ -6295,7 +6295,7 @@ module TDev { export module Browser {
}
if (this.correspondingTopic) {
docsButtonDiv.appendChildren([HTML.mkButton(lf("follow"), () => {
docsButtonDiv.appendChildren([HTML.mkButton(lf("follow tutorial in editor"), () => {
tick(Ticks.browseFollowTopic)
this.correspondingTopic.follow()
})])