A binding browser object (one given by the $browser_object keyword to
define_key) can always be overridden by an interactive browser object.
This is inconsistent with the browser object precedence rules for ordinary
default browser objects, which say that a non-null constant browser object
cannot be overridden by an interactive browser object. It's a small
point. Do we even care?
|