News for hackers. Stuff that matters.

A comment on Ghostty 1.0. Parent comment

Re:Ghostty 1.0 by feketegy on Friday December 27, 2024 @04:36AM (#42521002)
Use the browser's search on the page?
[ Parent | on HN ]
Re:Ghostty 1.0 by KolenCh on Friday December 27, 2024 @01:25PM (#42524609)
Search through the whole documentation, not just current page.
[ Parent | on HN ]