Just for the record, some new API committed and there is an example extension. See more in the bug report.
Honza On Saturday, August 24, 2013 2:14:00 AM UTC+2, Dhruva Ray wrote: > > Thanks Honza. I will try out your suggestion till you create the API. > > I have filed a bug - 6697 ( > https://code.google.com/p/fbug/issues/detail?id=6697) for this feature > request. > > Thanks, > Dhruva Ray > > On Friday, 23 August 2013 20:30:33 UTC+5:30, Jan Honza Odvarko wrote: >> >> The panel tab title (it's the same for main and side panels) is set here: >> >> https://github.com/firebug/firebug/blob/master/extension/content/firebug/firefox/bindings.xml#L64 >> >> You should be able to call getTab() (see it a few lines down) and change >> the title. However not sure when exactly >> you should do it to keep in sync. >> >> I can improve the API, so this is easier. Please file a bug and I'll take >> a look at it! >> >> (please cross post the bug number here) >> >> Honza >> >> On Friday, August 23, 2013 7:14:10 AM UTC+2, Dhruva Ray wrote: >>> >>> Hi >>> >>> To increase usability, we are thinking of appending a counter value to >>> the side panel title - to indicate that new data has arrived on that panel >>> (since the last visit). This will allow users to know that there is some >>> new data on a (side) panel without having to really navigate to that panel. >>> Needless to say, this is going to be context specific. Just wanted to check >>> if this is possible to do in Firebug? >>> >>> Thanks for helping! >>> >>> 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/1b4fb157-7fb5-412c-90e0-20f45a617d24%40googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
