Mailing List Archive: 49091 messages
  • Home
  • Script library
  • AltME Archive
  • Mailing list
  • Articles Index
  • Site search
 

[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] > 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,
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.