graviton-plugin-sdk
Version:
Gravtion plugin Dev Kit
24 lines (23 loc) • 908 B
JavaScript
`
<div class="section-1 inline">
<input class="input1" id="fs-input" onchange="graviton.setEditorFontSize(this.value)" type="number" value="${
current_config.fontSizeEditor
}">
<h5>${getTranslation("FontSize")}</h5>
</div>
<div class="section-1 inline">
<gv-switch onclick="graviton.toggleAutoCompletation(); saveConfig();" class="${
current_config.autoCompletionPreferences
}"></gv-switch>
<h5>${getTranslation("Auto-Completion")}</h5>
</div>
<div class="section-1 inline">
<gv-switch onclick="graviton.toggleLineWrapping(); saveConfig();" class="${
current_config.lineWrappingPreferences
}"></gv-switch>
<h5>${getTranslation("Line-Wrapping")}</h5>
</div>
<div class="section-1 inline">
<gv-switch onclick="graviton.toggleHighlighting(); saveConfig();" class="${g_highlighting}"></gv-switch>
<h5>${getTranslation("Highlighting")}</h5>
</div>`;