Thanks Honza! I was just about to write back when I saw your update! We used your earlier suggestion to successfully implement the dynamic title counter. Code is here : https://github.com/dhruvaray/spa-eye/blob/master/extension/chrome/content/spa_eye/panels/logPanel.js#L49. I will take a look at your extension example in detail tomorrow.
Just as an FYI : We update the title counter based on events which are raised elsewhere in the plugin. So the issue of when was not a difficult one in this scenario. Regards, Dhruva Ray -- You received this message because you are subscribed to the Google Groups "Firebug" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/firebug. To view this discussion on the web visit https://groups.google.com/d/msgid/firebug/04365674-a021-458b-86d4-48267d1891f0%40googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
