From 6240dabe2169a9353d075413653dfc988dfb1378 Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Tue, 5 Oct 2010 15:48:09 +0400 Subject: [PATCH] resize_headlines: add workaround for an Opera bug --- tt-rss.js | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/tt-rss.js b/tt-rss.js index 831567ab..e4469d8f 100644 --- a/tt-rss.js +++ b/tt-rss.js @@ -369,6 +369,10 @@ function resize_headlines(delta_x, delta_y) { c_frame.style.top = (h_frame.offsetTop + h_frame.offsetHeight + 0) + "px"; h_frame.style.height = h_frame.offsetHeight + "px"; + // Workaround for Opera: force the content page to be re-rendered, + // so it is not truncated: + var content_pane = $("content-insert"); + content_pane.innerHTML = content_pane.innerHTML; } if (getInitParam("cookie_lifetime") != 0) { -- 2.39.5