[ALLY] Re: getting the screen-size Re:(3)
From: carl:cybercraft at: 17-Aug-2000 10:22
On 17-Aug-00, [holger--rebol--com] wrote:
> On Wed, Aug 16, 2000 at 06:11:33PM +1200, [carl--cybercraft--co--nz]
>> [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,
In which case user.r should say there's only one screen available,
it's already open and it's so and so a size...
> and the
> screen size is determined by the X server (and thus may vary
> depending on which workstation you are redirecting the display to).
Hmm... Yes, difficult if the workstation screens change their size
often, which even if Unix ones don't, other multi-user systems might.
A user.r (or user-screens.r ?) for each workstation, perhap?
>> 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.
Yes, but their sizes would either be determined for good when the
screen's first opened, (i.e. the same font would be used on all the
screen's windows), or for each window when it's opened, which in the
later case has to mean the program's (ie REBOL) deciding on the font
used. Either way, by allowing the user to create a list of available
screen sizes (and the fonts and other guff they use in their borders)
would get around the chicken and egg problem of not knowing
window-border sizes till the window's open, as when the user defines
their screen list (and font to use on the screen/windows) you could
open each screen once and a window on it to grab the window border
sizes to store in the screen list.