Is there anything like that to force a repaint?
--
dolphinling
<http://dolphinling.net/>
The only way to do that, really, is to set a timeout and run the rest of your
script off that timeout.
-Boris
create another window of the same size and position, then use blur+focus?
Regards,
Martijn
2007/9/24, dolphinling <li...@dolphinling.net>:
> _______________________________________________
> dev-quality mailing list
> dev-q...@lists.mozilla.org
> https://lists.mozilla.org/listinfo/dev-quality
>
--
Martijn Wargers - Help Mozilla!
http://weblogs.mozillazine.org/qa/
http://wiki.mozilla.org/Mozilla_QA_Community
irc://irc.mozilla.org/qa - /nick mw22
Thanks everyone. I ended up using setInterval (rather than setTimeout in a
loop), and it worked.
Vlad's bookmarklet uses
var wu =
window.QueryInterface(Components.interfaces.nsIInterfaceRequestor).getInterface(Components.interfaces.nsIDOMWindowUtils);
wu.redraw();
Which looks like it's specifically designed to repaint the page, but probably
not accessible to web pages. Is that right?
--
dolphinling
<http://dolphinling.net/>
Correct.
-Boris
You get the alert, no?
If you get the alert, then it's working (it works for me, here)
So I think it's accessible to web pages.
Regards,
Martijn
Are you sure?
Something like this also seems to work for instance:
http://martijn.martijn.googlepages.com/focus.htm
Regards,
Martijn
> -Boris
If it is, that's a bug we need to fix.
-Boris
Ok, I filed https://bugzilla.mozilla.org/show_bug.cgi?id=397571 for it.
(but to be honest, I kinda like it that you can use this stuff on web pages)