John Little wrote:
> On Wednesday, June 5, 2019 at 1:08:03 AM UTC+12, Bram Moolenaar wrote: > > I have been wondering if it would help if Vim could play a sound. > > I'm a fan. More bandwidth from vim to me is always good. But people wanting > to turn off beeps from vim are very vocal, those wanting to turn them on are > not. > > I got used to relying on beeps using vi on dumb terminals for many > years, and using vim with GTK with random DEs getting any kind of beep > with vim proved very hit or miss, and losing the beep after some kind > of upgrade happened a lot. So I learned about libcanberra, and my vim > gives me a 100 ms cowbell. It's only about 15 lines of C. Managing > (choosing, distributing) the sound files would be a far larger task > than the code I imagine. It appears libcanberra is widely available. My system also has the -dev package installed (I didn't do that, perhaps because of a gtk dependency). I could not find something for autoconf though. But I expect it to be simple. > I've no idea about libcanberra on MS Windows. It needs a completely different solution. And again I hope it's a simple thing, since we don't want this to be adding much code to Vim. -- >From "know your smileys": :-E Has major dental problems /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\ /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ \\\ an exciting new programming language -- http://www.Zimbu.org /// \\\ help me help AIDS victims -- http://ICCF-Holland.org /// -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/vim_dev/201906060959.x569xYs9008392%40masaka.moolenaar.net. For more options, visit https://groups.google.com/d/optout.
