fix: deduplicate prompt history entries
Avoid adding duplicate entries to prompt history when the same input is appended multiple times (e.g., clearing with ctrl+c then restoring via history navigation and clearing again).
A
Ariane Emory committed
8805dfc8496858bf090cabe12157db1b75d142b4
Parent: ac5a5d8