EDA playground editor font size

324 views
Skip to first unread message

davidho...@gmail.com

unread,
May 1, 2016, 7:26:30 PM5/1/16
to EDA Playground

Sometimes the font size increases without me  doing  anything.  How do I get the font size back to the default
size?  I  am using the Chromium web browser.  What is the recommended web browser to use with EDA playground?

Thanks,
David
 

Victor Lyuboslavsky

unread,
May 1, 2016, 7:37:59 PM5/1/16
to davidho...@gmail.com, EDA Playground
Try Ctrl 0
Ctrl+ and Ctrl- increase/decrease font size

For Mac, replace Ctrl with Cmd

Chrome is a good web browser. That's what I use.

--
You received this message because you are subscribed to the Google Groups "EDA Playground" group.
To unsubscribe from this group and stop receiving emails from it, send an email to eda-playgroun...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/eda-playground/802da93a-fb8a-40e0-b95d-ec5dd6286553%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

EDA Playground

unread,
May 3, 2016, 6:56:36 AM5/3/16
to EDA Playground

To me, having a recommended browser for a site goes against everything Sir Tim's marvelous invention stands for. So, we are not targeting or recommending any browser at the moment. Having said that, it would not be possible to support any browser, however old.  I use EDA Playground regularly on Chrome, Firefox and Safari and it seems to work equally well on all three, but I know that EDA Playground doesn't work properly on my mobile phone (Chrome on Android), for example, and I would like to fix that. But there are many other things in the To Do list...

Matthew
Reply all
Reply to author
Forward
0 new messages