Change Font size in REPL? - Kogics

Change Font size in REPL?

Forum » Kojo / Support » Change Font size in REPL?

Started by:

Craig Tataryn (guest)
Date: 13 Sep 2011 14:23
Number of posts: 3

RSS: New posts

Summary:

Is there a way to change the font size in the REPL?

Unfold All Fold All More Options

Fold

Change Font size in REPL?

Craig Tataryn (guest) 13 Sep 2011 14:23

I'd like to use the Kojo REPL during a Scala presentation, is it possible to change the font size for the REPL? This would come in handy for the audience.

Thanks,

Craig.

Reply Options

Unfold Change Font size in REPL? by

Craig Tataryn (guest), 13 Sep 2011 14:23

Fold

Re: Change Font size in REPL?

lalitp 13 Sep 2011 15:03

Yes, you can change the font size within the Script Editor. Directions:

Right-click within the Script Editor to bring up the context (popup) menu
Go to Experimental Features -> Advanced Options
Click on the Fonts and Colors button at the top of the Options Dialog
Within the Syntax tab, select the Default Category
Change the default font
Click Ok to close the Options dialog

Note - do not use the escape key to get out of the Options Dialog (if you do, the dialog will not come up again within that run of Kojo!). Instead, use the Ok or Cancel buttons to close the dialog.

Best of luck for the presentation!

Cheers,
- Lalit

Last edited on 13 Sep 2011 15:05 by lalitp Show more

Reply Options

Unfold Re: Change Font size in REPL? by

lalitp, 13 Sep 2011 15:03

Fold

Craig Tataryn (guest) 13 Sep 2011 15:29

Ahhh! Thanks!

Reply Options

Unfold by

Craig Tataryn (guest), 13 Sep 2011 15:29

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License