Re: [elinks-dev] PATCH minor user.css documentation improvement

2010-08-07 Thread Simon Ruderich
Hi again, Could those two patches please get committed to elinks' repository. Thanks, Simon -- + privacy is necessary + using gnupg http://gnupg.org + public key id: 0x92FEFDB7E44C32F9 pgpff6EvYxGVS.pgp Description: PGP signature ___ elinks-dev

Re: [elinks-dev] [PATCH] make test fails

2010-08-07 Thread Simon Ruderich
On Sun, Jul 25, 2010 at 07:09:25PM +0300, أحمد المحمودي wrote: Hello, I'm not sure if I sent this patch before, anyways, make test fails at some parts due to missing includes and so, the included patch fixes the issue. Hi, make test still fails for me. This patch should fix it.

Re: [elinks-dev] Rudimentary support for HTML5 media elements

2010-08-07 Thread Simon Ruderich
On Sun, Oct 25, 2009 at 10:46:26AM +0100, Nils Dagsson Moskopp wrote: Hello elinks developers, recently I have patched elinks to recognize audio and video elements. Details can be found here: http://blog.dieweltistgarnichtso.net/html5-media-elements-in-elinks. Is someone going to merge

Re: [elinks-dev] Rudimentary support for HTML5 media elements

2010-08-07 Thread Nils Dagsson Moskopp
Simon Ruderich si...@ruderich.org schrieb am Sat, 7 Aug 2010 17:56:08 +0200: I'm no elinks developer (just a user) - but this sounds useful. I am afraid there are no elinks developers anymore. Or maybe there is a different mailing list. Could you please post the patch, I didn't find it on

Re: [elinks-dev] Rudimentary support for HTML5 media elements

2010-08-07 Thread أحمد المحمودي
On Sat, Aug 07, 2010 at 09:04:36PM +0300, Timo Juhani Lindfors wrote: Here too, you should use git so that people don't need to download 7 megabytes to see your changes :-) ---end quoted text--- -- ‎أحمد المحمودي (Ahmed El-Mahmoudy) Digital design engineer GPG KeyID: 0xEDDDA1B7 GPG