Keep AI session history local and update Galaxy branding
This commit is contained in:
@@ -53,7 +53,7 @@ const MODAL_CONTENT_FONT_SIZE: f32 = 14.;
|
||||
const CHECKBOX_SIZE: f32 = 16.;
|
||||
|
||||
const MODAL_TITLE: &str = "Edit prompt";
|
||||
const WARP_PROMPT_SECTION_HEADER: &str = "Warp terminal prompt";
|
||||
const WARP_PROMPT_SECTION_HEADER: &str = "Galaxy terminal prompt";
|
||||
const SHELL_PROMPT_SECTION_HEADER: &str = "Shell prompt (PS1)";
|
||||
const RESTORE_DEFAULT_BUTTON: &str = "Restore default";
|
||||
|
||||
|
||||
Reference in New Issue
Block a user