raising the font size in dialog boxes, howto?

[Björnke von Gierke]

There is no global setting. But you can use htmltext in the answer dialogues:

answer "<p><font size=" & quote & 18 & quote & ">text is big</font></p>" with "aa" or "bb"

If the buttons not resizing is a major problem for you, then you do indeed need to make your own dialogues. The advantage there is that substacks inherit the font-settings from their mainstacks. So you could try to not set the font anywhere but the mainstack, and that would propagate downwards as a central setting. 

Note that you cannot set the font of anything without its textsize being set, and vice versa. That fact makes this approach impossible for almost all projects (Who uses just one font and fontsize these days??)

On 21 Jan 2010, at 13:46, Peter Alcibiades wrote:

> How do you raise the size of the font in dialog boxes, answer and ask, on 
> account of people not being able to see them very well?  You can do this 
> somewhat by changing the size of the rev ui elements from the application 
> browser, but its one at a time, so very laborious, and also you don't seem 
> able to change the message font.  As in
> 
> answer "xxx" with "aa" or "bb"
> 
> You can change the font of aa or bb but apparently not of xxx.  Also the 
> box into which the aa or bb goes does not seem to change quite correctly to 
> accomodate the font.  And the old familiar problem of not all fonts on the 
> system being available shows up here again.
> 
> Is there a global setting for this stuff someplace ?  Or does one have to 
> simply write one's own dialogue boxes from scratch if he wants a different 
> font size, and wants to change the xxx?
> 
> Peter

-- 

official ChatRev page:
http://bjoernke.com?target=chatrev

Chat with other RunRev developers:
go stack URL "http://bjoernke.com/chatrev/chatrev1.3b3.rev"