> I'm leaning towards `pop-up-frames` right now because it avoids > introducing a new notion. Admittedly, the notion it reuses > (i.e. `pop-up-frames`) is not the cleanest around, but > `inhibit-new-frame` isn't super clean either. > > Can someone help me choose between those two bad choices? FWIW, here's my current patch. Stefan