resize_headlines: add workaround for an Opera bug

diff --git a/tt-rss.js b/tt-rss.js
index 831567abd4dc389e96024d183bfdbeb4f1899cf1..e4469d8fe2de3074011db0decfb2b1a46fb4a621 100644 (file)
--- 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) {