mirror of
https://github.com/rkd77/elinks.git
synced 2025-02-02 15:09:23 -05:00
Bug 722: Read document.css.media only if needed.
This commit is contained in:
parent
0c899dcc8a
commit
65b365587e
@ -1143,7 +1143,7 @@ xsp:
|
|||||||
int
|
int
|
||||||
supports_html_media_attr(const unsigned char *media)
|
supports_html_media_attr(const unsigned char *media)
|
||||||
{
|
{
|
||||||
const unsigned char *const optstr = get_opt_str("document.css.media", NULL);
|
const unsigned char *optstr;
|
||||||
const unsigned char *beg, *end;
|
const unsigned char *beg, *end;
|
||||||
|
|
||||||
/* The 1999-12-24 edition of HTML 4.01 is inconsistent on what
|
/* The 1999-12-24 edition of HTML 4.01 is inconsistent on what
|
||||||
@ -1172,6 +1172,8 @@ supports_html_media_attr(const unsigned char *media)
|
|||||||
if (media == NULL || *media == '\0')
|
if (media == NULL || *media == '\0')
|
||||||
return 1;
|
return 1;
|
||||||
|
|
||||||
|
optstr = get_opt_str("document.css.media", NULL);
|
||||||
|
|
||||||
while (*media != '\0') {
|
while (*media != '\0') {
|
||||||
while (*media == ' ')
|
while (*media == ' ')
|
||||||
++media;
|
++media;
|
||||||
|
Loading…
x
Reference in New Issue
Block a user