Tuomo Valkonen
Sat, 19 Jun 2004 06:34:11 -0700
On Fri, Jun 18, 2004 at 07:24:29PM -0500, Jon Dugan wrote: > >I seem to remember some kind of discussion on this list a while back > >about reserving strips of screen on the edges. Is this still possible? > >I'd like to make ion avoid using the top 32 pixels or so on the > >primary screen. > > I would also like to be able to reserve a strip of my screen so the OS > X dock would be visible...
Both ion2/svn and ion3/svn now export WScreen.set_managed_offset (which
was previously already available from C):
/*EXTL_DOC
* Set offset of objects managed by the screen from actual screen geometry.
* The table \var{offset} should contain the entries \code{x}, \code{y},
* \code{w} and \code{h} indicating offsets of that component of screen
* geometry.
*/
EXTL_EXPORT_AS(WScreen, set_managed_offset)
bool screen_set_managed_offset_extl(WScreen *scr, ExtlTab offset)
After getting a snapshot of Ion from the Subversion repository, the
following calls in ion.lua should stop Ion from using those top 32
pixels on screen 0:
Ion2:
find_screen_id(0):set_managed_offset{y=32, h=-32, x=0, w=0}
Ion3:
ioncore.find_screen_id(0):set_managed_offset{y=32, h=-32, x=0, w=0}
--
Tuomo