From mboxrd@z Thu Jan  1 00:00:00 1970
To: 9fans@cse.psu.edu
From: "Russ Cox" <rsc@swtch.com>
Date: Wed, 30 Jan 2008 14:01:08 -0500
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Message-Id: <20080130190110.3DD2B1E8C2B@holo.morphisms.net>
Subject: [9fans] plan9port & full-screen
Topicbox-Message-UUID: 3ceb469c-ead3-11e9-9d60-3106f5b1d025

Two related changes to plan9port.

1. If you use rio and Firefox together, and you press F11
   in Firefox to make Firefox go full-screen, rio gets out of the 
   way entirely now, so that Firefox really does get the whole
   screen.  Before, there was always a border on the top
   and left sides.  Firefox does not restore itself to the
   correct location -- it ends up a border's width above
   and to the left of its original position.  If you want to find
   this bug, it's all yours.

2. Typing F11 in a graphical Plan 9 window will resize the
   window to take up the whole screen (I hesitate to call it
   a separate "full-screen mode"); typing F11 again goes
   back to the original size & location.  I find it useful to
   F11 acme to full screen to block out distractions.

Russ