split documentation with new files

This commit is contained in:
2023-11-05 22:23:20 +01:00
parent 11b20c7c11
commit 1b615ef339
9 changed files with 242 additions and 144 deletions

View File

@ -39,7 +39,8 @@ export const installInterfaceLogic = (app: Editor) => {
(app.interface.time_position_checkbox as HTMLInputElement).checked =
app.settings.time_position;
(app.interface.tips_checkbox as HTMLInputElement).checked = app.settings.tips;
(app.interface.completion_checkbox as HTMLInputElement).checked = app.settings.completions;
(app.interface.completion_checkbox as HTMLInputElement).checked =
app.settings.completions;
(app.interface.midi_clock_checkbox as HTMLInputElement).checked =
app.settings.send_clock;
@ -392,7 +393,8 @@ export const installInterfaceLogic = (app: Editor) => {
});
app.interface.completion_checkbox.addEventListener("change", () => {
let checked = (app.interface.completion_checkbox as HTMLInputElement).checked
let checked = (app.interface.completion_checkbox as HTMLInputElement)
.checked
? true
: false;
app.settings.completions = checked;
@ -470,6 +472,8 @@ export const installInterfaceLogic = (app: Editor) => {
"probabilities",
"variables",
// "reference",
"synchronisation",
"mouse",
"shortcuts",
"about",
"bonus",