There is a standard HTMLElement.focus() method, which doesn't do what this method does, which is to zoom to the whole layer at the maximum possible zoom. We will need, at a minimum, to rename this method.
Since programmatic focus has become important, the HTMLLayerElement.focus() implementation should either focus the layer in the layer control, or focus the first or next element in the layer, without moving the map. We should figure out what the correct behaviour is, but I'm pretty sure the correct behaviour is not what it currently does. We probably need a separate method for each type of focus, actually.
There is a standard HTMLElement.focus() method, which doesn't do what this method does, which is to zoom to the whole layer at the maximum possible zoom. We will need, at a minimum, to rename this method.
Since programmatic focus has become important, the HTMLLayerElement.focus() implementation should either focus the layer in the layer control, or focus the first or next element in the layer, without moving the map. We should figure out what the correct behaviour is, but I'm pretty sure the correct behaviour is not what it currently does. We probably need a separate method for each type of focus, actually.