On Thu, Mar 24, 2016 at 3:59 PM, Edward K. Ream <[email protected]> wrote:
> There are two big problems with this approach. The embedded browser is glacially slow and way to big to fit comfortably inside Leo. And a third problem: Ctrl-plus/minus do not work, and there seems to be no other way to increase font size. Not too upsetting since I have no plans to stay within Leo when using Jupyter. EKR -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
