saved_snippets: Add support for editing saved snippets.

Fixes #33708.
This commit is contained in:
Vector73
2025-03-13 10:03:41 +00:00
committed by Tim Abbott
parent 224a3eed87
commit b31024be47
24 changed files with 405 additions and 22 deletions

View File

@@ -21,7 +21,7 @@ export function get_saved_snippet_by_id(saved_snippet_id: number): SavedSnippet
return saved_snippet;
}
export function add_saved_snippet(saved_snippet: SavedSnippet): void {
export function update_saved_snippet_dict(saved_snippet: SavedSnippet): void {
saved_snippets_dict.set(saved_snippet.id, saved_snippet);
}
@@ -39,6 +39,7 @@ export function get_options_for_dropdown_widget(): Option[] {
description: saved_snippet.content,
bold_current_selection: true,
has_delete_icon: true,
has_edit_icon: true,
}));
return options;