From 5e5d7f702af0c300aac5534d84a6776b7679d523 Mon Sep 17 00:00:00 2001 From: Witold Filipczyk Date: Tue, 26 Sep 2023 16:58:13 +0200 Subject: [PATCH] [options] Moved was_xml_parsed below framename Also call display_timer. For framesets --- src/document/options.h | 3 +-- src/ecmascript/ecmascript.cpp | 3 +-- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/src/document/options.h b/src/document/options.h index c6c5536e2..9c27e102e 100644 --- a/src/document/options.h +++ b/src/document/options.h @@ -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; diff --git a/src/ecmascript/ecmascript.cpp b/src/ecmascript/ecmascript.cpp index 8f0a4e1dd..f586f47b7 100644 --- a/src/ecmascript/ecmascript.cpp +++ b/src/ecmascript/ecmascript.cpp @@ -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); }