diff --git a/localtypings/pxtarget.d.ts b/localtypings/pxtarget.d.ts index d4d471eeb2ab..db2c71941f7b 100644 --- a/localtypings/pxtarget.d.ts +++ b/localtypings/pxtarget.d.ts @@ -33,6 +33,7 @@ declare namespace pxt { electronManifest?: pxt.electron.ElectronManifest; profileNotification?: ProfileNotification; kiosk?: KioskConfig; + teachertool?: TeacherToolConfig; } interface PackagesConfig { @@ -88,6 +89,15 @@ declare namespace pxt { highScoreMode: string; } + interface TeacherToolConfig { + carousels?: TeacherToolCarouselConfig[]; + } + + interface TeacherToolCarouselConfig { + title: string; + cardsUrl: string; + } + interface AppTarget { id: string; // has to match ^[a-z]+$; used in URLs and domain names platformid?: string; // eg "codal"; used when search for gh packages ("for PXT/codal"); defaults to id diff --git a/teachertool/public/index.html b/teachertool/public/index.html index 45401d391bd2..e35236a327af 100644 --- a/teachertool/public/index.html +++ b/teachertool/public/index.html @@ -33,8 +33,6 @@ - -