type font size in dictionary

[Björnke von Gierke]

It's a rev stack, and you can set the default font (of the field the  
content is shown in) to a larger size... however most of the text has  
it's own style, and those are set by scripts, so you'd need to go  
trough the scripts and set them yourself. There's a chance that you  
change the wrong thing and the ide becomes unusable (i hope you feel  
warned). And finally, when rev updates the docu stack, your changes  
might be overwritten.

The easier way is, to use my bvg docu stack, where you can set text  
sizes in the settings:

http://bjoernke.com/?target=bvgdocu

On 15 Dec 2009, at 07:58, Peter Alcibiades wrote:

> How does one change the size of the font in the dictionary?  To make  
> it
> several sizes larger?


-- 

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

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