[ALLY] getting the screen-size Re:(4)
From: agem:crosswinds at: 16-Aug-2000 17:08
how about "Virtual Coordinate Space" with automatic?
[layout/span/size face 4096x3072 341x25]
[view/fullscreen layout[stuff] ]
and the resize can be done pretty hidden..
there should be a simple wishing for resolution/colors
-preference for the scripter. header-option?
from /view - doc:
A virtual coordinate space makes it possible to develop a visual interface without needing
to know the actual display size.
This is to say, it makes it possible to use a virtual pixel space for aligning face objects.
So, the resolution of a user's display
does not need to be known before designing a visual interface. For instance, say you
want to create a visual interface that
will look the same between systems with a maximum resolution of 320x240 and systems with
resolutions of 1280x1024
and greater. This can be done with View's virtual coordinate space capabilities.
A window's virtual coordinates are defined in a window's top level face's span facet.
To set the span, use the /span and
/size refinements when using layout to display a new face. The /span will indicate the
virtual coordinate space while /size
specifies the actual pixel size of the window.
layout/span/size face 4096x3072 341x25
Virtual Coordinate Space |
Window's Size (real pixel space)
--- [holger--rebol--com] wrote on 16-Aug-2000/5:25:53-7:00
> On Wed, Aug 16, 2000 at 06:11:33PM +1200, [carl--cybercraft--co--nz] wrote:
> > [big snip 2]
> > With screen sizes, how about having a list of user-defined ones in
> > user.r which scripts can check through and select from before opening
> > a new screen?
> That won't work in Unix, where you cannot open a new screen, and the
> screen size is determined by the X server (and thus may vary depending
> on which workstation you are redirecting the display to).
> > This would require a system-specific settup routine of
> > some description, but once done they could be left alone till the
> > user felt the need to edit them. And perhaps the window
> > border-widths and heights for each screen could also be worked out
> > and stored at the same time as the screens?
> Window border heights typically depend on the font size, i.e. they can
> change at any time. They are not system-dependent constants.
> Holger Kruse