Unfortunately, Opera doesn't support extensions: http://www.opera.com/press/faq/#tech14
As I've already said, I'm no developer and I don't understand much in programming, but as far as I know, there's a possibility to extend Opera functionality by using "User JS". Here's some kind of tutorial: http://www.opera.com/support/tutorials/userjs/ but of course I can't say if is suits our needs. On 11/7/07, D Bera <[EMAIL PROTECTED]> wrote: > > Just part of the way that Opera works is it won't write its cache to > > the disk until shutdown, or until its pushed out of memory, which can > > take some time. If you close opera, you should get all the content > > indexed. > > Argh! This is clearly suboptimal. One (and possibly the only correct > one) solution is to write an opera extension (assuming Opera allows > extensions and that they can be open source) like the firefox > extension. > > - dBera > > -- > ----------------------------------------------------- > Debajyoti Bera @ http://dtecht.blogspot.com > beagle / KDE fan > Mandriva / Inspiron-1100 user > -- -wbr, Andrey Melentyev [EMAIL PROTECTED] _______________________________________________ Dashboard-hackers mailing list Dashboard-hackers@gnome.org http://mail.gnome.org/mailman/listinfo/dashboard-hackers