ProtectedconstructorProtectedcurrentThe currently selected element
The current document.
ProtectedeventsProtecteditemThe MathItem for this explorer
ProtectedlistenerThe mousemove event handler (added after a mouseover)
ProtectedlisteningTrue if the mousemove listener has been added
ProtectednodeThe node on which the explorer works.
ProtectednodeAccessor to extract node value that is passed to the region.
ProtectednodePredicate on nodes that will fire the hoverer.
The explorer pool.
A region to display results.
ProtectedhighlighterThe Sre highlighter associated with the walker.
ProtecteddisplayThe target node to update
The target kind to update
ProtectedEventsThe events associated with this explorer.
ProtectedinThe x-coordinate of the point to test
The y-coordinate of the point to test
The bounding box to test
True if (x,y) is inside the bounding box
Process a mousemove event to see if the node under the mouse has changed, and if so, unhighlight the old one and highlight the new one.
The move event
ProtectednodeFind the smallest item in the expression's DOM tree that contains am event's point.
The event whose (x,y) is to be used
A test for which nodes to accept
Optional list of nodes to ignore
The info icon, if there is one
The smallest matching element containing the event's point
ProtectedstopStops the events of this explorer from bubbling.
The event to stop.
StaticcreateCreator pattern for explorers.
The current document.
The explorer pool.
A region to display results.
The node on which the explorer works.
Remaining information.
An object of the particular explorer class.
Protected StaticstopStops event bubbling.
The event that is stopped.
Hoverer that displays node content (e.g., for magnification).