mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-04-01 12:03:08 +00:00

or if a server "changes" notify the incoming server listeners. for the three pane listener, we use that to decide if we need to change our selection. r=cavin, sr=bienvenu