Account Options

  1. Sign in
The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Google Groups Home
« Groups Home
Firebug Working Group
Home
About this group
Apply for group membership
FBL.$() -> Firefox.getElementById() + Firebug.chrome.$()
Options
There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic.
There was an error processing your request. Please try again.
flag
   1 message - Collapse all  -  Translate all to Translated (View all originals)
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Followup To:
Add Cc | Add Followup-to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers you hear
 
John J Barton  
View profile  
 More options May 11 2011, 1:05 am
From: John J Barton <johnjbar...@johnjbarton.com>
Date: Tue, 10 May 2011 22:05:38 -0700 (PDT)
Local: Wed, May 11 2011 1:05 am
Subject: FBL.$() -> Firefox.getElementById() + Firebug.chrome.$()
Print | Individual message | Show original | Report this message | Find messages by this author
To support moving Firebug into its own iframe I changed all uses of
FBL.$() to either:
    Firefox.getElementById(), meaning get an element from the Firefox
XUL, or
    Firebug.chrome.$(), meaning get an element from Firebugs own UI
A few cases I used a document given eg from an event target
getElementById()/

This API is inconsistent I guess it should be either Firefox.$() or
Firebug.chrome.getElementById(). Easy to do, hard to decide ;-)

Two side effects:
  we have firebug/firefox subdirectory seeking more Firefox-specific
modules.
  some modules depend on firebug/firefox/firefox, many of these should
be abstracted later to become cross browser.

r10396

jjb


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
End of messages
« Back to Discussions « Newer topic     Older topic »

Create a group - Google Groups - Google Home - Terms of Service - Privacy Policy
©2013 Google