--- Flash player opens full-screen windows from Firefox with size
--- request 200x200. It closes them if they lose focus, but also if
--- they get focus too quickly. Therefore set focus 200 ms after
--- such a window is mapped (this may need to be adjusted on slower
--- computers).
+-- Flash player opens full-screen windows from Firefox. It closes
+-- them if they lose focus, but also if they get focus too quickly.
+-- Therefore set focus 200 ms after such a window is mapped (this may
+-- need to be adjusted on slower computers).