microsoft
/
TouchDevelop
зеркало из https://github.com/microsoft/TouchDevelop.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность

Merge branch 'master' of https://github.com/Microsoft/TouchDevelop

This commit is contained in:
Peli de Halleux 2015-11-10 21:30:41 -08:00
Родитель 09d30b8685 f3b286dc45
Коммит ed70680a58
2 изменённых файлов: 3 добавлений и 3 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

2
editor/scriptProperties.ts
Просмотреть файл

@ -324,7 +324,7 @@ module TDev
if (dbg)
ModalDialog.showText(e.stack)
else
HTML.showErrorNotification(lf("compilation failed; developers notified; sorry"))
HTML.showErrorNotification(lf("Oops, something happened! If this keeps happening, contact BBC micro:bit support."))
})
}

4
microbit/overrideupload/index.html
Просмотреть файл

@ -353,8 +353,8 @@ div.siteMenuBtn {
#siteLogo { cursor:pointer;}
@font-face {
font-family: "TitleFont";
src: url("../../files/fonts/GTWalsheim/GTWalsheim_gdi.eot");
src: url("../../files/fonts/GTWalsheim/GTWalsheim_gdi.eot?#iefix") format("embedded-opentype"), url("../../files/fonts/GTWalsheim/GTWalsheim_gdi.woff2") format("woff2"), url("../../files/fonts/GTWalsheim/GTWalsheim_gdi.woff") format("woff"), url("../../files/fonts/GTWalsheim/GTWalsheim_gdi.ttf") format("truetype");
src: url("https://az742082.vo.msecnd.net/files/fonts/GTWalsheim/GTWalsheim_gdi.eot");
src: url("https://az742082.vo.msecnd.net/files/fonts/GTWalsheim/GTWalsheim_gdi.eot?#iefix") format("embedded-opentype"), url("https://az742082.vo.msecnd.net/files/fonts/GTWalsheim/GTWalsheim_gdi.woff2") format("woff2"), url("https://az742082.vo.msecnd.net/files/fonts/GTWalsheim/GTWalsheim_gdi.woff") format("woff"), url("https://az742082.vo.msecnd.net/files/fonts/GTWalsheim/GTWalsheim_gdi.ttf") format("truetype");
font-weight: normal;
font-style: normal; }