Bug#757631: elinks: HTML5 source element display missing

2014-08-14 Thread Nils Dagsson Moskopp
Moritz Mühlenhoff writes: > On Sun, Aug 10, 2014 at 02:27:30AM +0200, Nils Dagsson Moskopp wrote: >> Package: elinks >> Version: 0.12~pre6-4 >> Severity: normal >> Tags: patch >> >> Dear Maintainer, >> >> HTML5 has a source element, to provide content for audio and video elements. >> >> Elinks

Bug#757631: elinks: HTML5 source element display missing

2014-08-10 Thread Moritz Mühlenhoff
On Sun, Aug 10, 2014 at 02:27:30AM +0200, Nils Dagsson Moskopp wrote: > Package: elinks > Version: 0.12~pre6-4 > Severity: normal > Tags: patch > > Dear Maintainer, > > HTML5 has a source element, to provide content for audio and video elements. > > Elinks currently ignores it. With my patch tho

Bug#757631: elinks: HTML5 source element display missing

2014-08-09 Thread Nils Dagsson Moskopp
Package: elinks Version: 0.12~pre6-4 Severity: normal Tags: patch Dear Maintainer, HTML5 has a source element, to provide content for audio and video elements. Elinks currently ignores it. With my patch though, it looks nice, like this: