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";
_______________________________________________
use-revolution mailing list
[email protected]
Please visit this url to subscribe, unsubscribe and manage your subscription
preferences:
http://lists.runrev.com/mailman/listinfo/use-revolution
