|
@@ -47,8 +47,8 @@
|
|
|
</div>
|
|
|
|
|
|
<div class="category languageJS" id="JStoTSbar">
|
|
|
- <div class="buttonJStoTS languageTS" id="toTSbutton1280" title="Switch to TypeScript">Typescript</div>
|
|
|
- <div class="buttonJStoTS languageJS" id="toJSbutton1280" title="Switch to JavaScript">Javascript</div>
|
|
|
+ <div class="buttonJStoTS languageTS" id="toTSbutton1280" title="Switch to TypeScript">TS</div>
|
|
|
+ <div class="buttonJStoTS languageJS" id="toJSbutton1280" title="Switch to JavaScript">JS</div>
|
|
|
<div class="buttonPG run removeOnDiff" id="runButton1280" title="Run (Alt+Enter)"><img
|
|
|
src="css/img/playButton.svg"></div>
|
|
|
<div class="buttonPG removeOnDiff" id="saveButton1280" title="Save (Ctrl+S)"><img
|