mirror of
https://github.com/rkd77/elinks.git
synced 2024-12-04 14:46:47 -05:00
[options] Moved was_xml_parsed below framename
Also call display_timer. For framesets
This commit is contained in:
parent
637bcb725c
commit
5e5d7f702a
@ -123,8 +123,6 @@ struct document_options {
|
||||
|
||||
unsigned int links_show_goto:1;
|
||||
|
||||
unsigned int was_xml_parsed:1;
|
||||
|
||||
/* XXX: Everything past this comment is specialy handled by compare_opt() */
|
||||
char *framename;
|
||||
|
||||
@ -156,6 +154,7 @@ struct document_options {
|
||||
/** Internal flag for rerendering */
|
||||
unsigned int no_cache:1;
|
||||
unsigned int gradual_rerendering:1;
|
||||
unsigned int was_xml_parsed:1;
|
||||
|
||||
#ifdef CONFIG_UTF8
|
||||
unsigned int utf8:1;
|
||||
|
@ -313,8 +313,7 @@ delayed_reload(void *data)
|
||||
assert(rel);
|
||||
reset_document(rel->document);
|
||||
dump_xhtml(rel->cached, rel->document, rel->was_write);
|
||||
sort_links(rel->document);
|
||||
draw_formatted(rel->ses, 0);
|
||||
display_timer(rel->ses);
|
||||
mem_free(rel);
|
||||
}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user