resize_headlines: add workaround for an Opera bug
This commit is contained in:
parent
748345733d
commit
6240dabe21
|
@ -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) {
|
||||
|
|
Loading…
Reference in New Issue