4 Commits

Author	SHA1	Message	Date
David Dworken	211c9fb6b7	Update demo gif to show the most recent TUI	2023-10-14 18:43:04 -07:00
David Dworken	cc2a6046d3	Update demo gif to show search atoms	2022-11-01 22:39:54 -07:00
David Dworken	31ef7a2fdd	Better timing for the demo gif	2022-11-01 22:33:48 -07:00
David Dworken	67bb2e979f	Add demo gif showing the control-r integration	2022-11-01 15:39:46 -07:00