Mirrors/fish-shell
2
0
Fork 0
mirror of https://github.com/fish-shell/fish-shell synced 2024-12-27 05:13:10 +00:00
Code Issues Projects Releases Packages Wiki Activity

webconfig: Make prompt selectable

Browse source
This commit is contained in:
Fabian Boehm 2023-08-29 14:11:05 +02:00
parent 4b4cd4c45a
commit 209af84a37
2 changed files with 23 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
share/tools/web_config/index.html
View file

@ -199,10 +199,12 @@
<div class="prompt_demo_choice_label" style="color: #FFF;" x-text="selectedPrompt.name"></div>
<div style='display: flex'>
<div x-html='selectedPrompt.demo' style='flex-grow: 1' class="prompt_demo unbordered"></div>
<div x-if='selectedPrompt.right' title="right prompt for {{selectedPrompt.name }}"
x-html='selectedPrompt.right' class="prompt_demo unbordered"
@click="selectPrompt(selectedPrompt)">
</div>
<template x-if="selectedPrompt.right">
<div title="right prompt for {{selectedPrompt.name }}"
x-html='selectedPrompt.right' class="prompt_demo unbordered"
@click="selectPrompt(selectedPrompt)">
</div>
</template>
</div>
<div style="position: absolute; right: 5px; bottom: 5px;">
<button class="save_button" x-show="showSaveButton" style="color: #CCC" @click="setPrompt()"

30
share/tools/web_config/js/main.js
View file

@ -231,20 +231,24 @@ document.addEventListener("alpine:init", () => {
this.savePromptButtonTitle = "Set Prompt";
},
setNewPrompt(selectedPrompt) {
$http
.post("set_prompt/", { fish_prompt: selectedPrompt.function })
.then(function (arg) {
// Update attributes of current prompt and select it
this.samplePrompts[0].demo = selectedPrompt.demo;
this.samplePrompts[0].right = selectedPrompt.right;
this.samplePrompts[0].function = selectedPrompt.function;
this.samplePrompts[0].font_size = selectedPrompt.font_size;
this.selectedPrompt = this.samplePrompts[0];
async setNewPrompt(selectedPrompt) {
let postdata = { fish_prompt: selectedPrompt.function };
let resp = await fetch("set_prompt/", {
method: "POST",
headers: { "Content-Type": "application/json" },
body: JSON.stringify(postdata)
});
if (resp.ok) {
// Update attributes of current prompt and select it
this.samplePrompts[0].demo = selectedPrompt.demo;
this.samplePrompts[0].right = selectedPrompt.right;
this.samplePrompts[0].function = selectedPrompt.function;
this.samplePrompts[0].font_size = selectedPrompt.font_size;
this.selectedPrompt = this.samplePrompts[0];
// Note that we set it
this.savePromptButtonTitle = "Prompt Set!";
});
// Note that we set it
this.savePromptButtonTitle = "Prompt Set!";
};
},
setPrompt() {