From 135ff1c0ec3c3c70e170040153c0265071f5f2f7 Mon Sep 17 00:00:00 2001 From: wareya Date: Thu, 15 Nov 2018 19:51:57 -0500 Subject: [PATCH] finish fixing iframe bug --- texthook.js | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) diff --git a/texthook.js b/texthook.js index aa7c23f..d586df4 100644 --- a/texthook.js +++ b/texthook.js @@ -123,11 +123,23 @@ function set_sticky_styles(mydiv) mydiv.style.marginBottom = "10px"; } +function is_not_frameset(root) +{ + try + { + return root.parent.document.body.tagName != "FRAMESET"; + } + catch(err) + { + return false; + } +} + function get_doc() { let find_root = window; let mydoc = document; - while(find_root.parent && find_root.parent != find_root && find_root.parent.document.body.tagName != "FRAMESET") + while(find_root.parent && find_root.parent != find_root && is_not_frameset(find_root)) { find_root = find_root.parent; try @@ -165,18 +177,6 @@ function display_div(middle, x, y) let newy = y; let mydoc = document; - function is_not_frameset(root) - { - try - { - return root.parent.document.body.tagName != "FRAMESET"; - } - catch(err) - { - return false; - } - } - while(find_root.parent && find_root.parent != find_root && is_not_frameset(find_root)) { let rect = find_root.frameElement.getBoundingClientRect();