IRC channel logs

2023-02-27.log

back to list of logs

<zimoun>hi!
<civodul>o/
<civodul>PurpleSym: hi! would you have guidance as to how to add a delay for the input box at https://hpc.guix.info/browse ?
<civodul>we discussed it at the Guix Days and then i forgot
<PurpleSym>civodul: You basically do a setTimeout when a key is pressed (cancelling the old timeout, if there is one) and only search in the timeout handler. I can have a look myself tomorrow, if you like.
<civodul>PurpleSym: oh that'd be great, thanks
<civodul>(no urgency ofc, i was just reminded of that issue)