QtWebkit is based on Apple's WebKit. Here is an alternate that I stumbled across while working on something different.
https://wiki.qt.io/QtWebEngine I do not know how or whether this will work in this case, as it may not be any faster and is likely not any smaller. It certainly is more capable though, and opens up more options. Chris On Thursday, March 24, 2016 at 2:19:07 PM UTC-7, john lunzer wrote: > > I was afraid of that. I had heard that the QtWebKit browser was slow. I > was just hoping it wasn't *that* slow. > > On Thursday, March 24, 2016 at 4:59:54 PM UTC-4, Edward K. Ream wrote: >> >> On Thu, Mar 24, 2016 at 3:32 PM, Edward K. Ream <[email protected]> >> wrote: >> >>> On Thursday, March 24, 2016 at 2:48:36 PM UTC-5, Edward K. Ream wrote: >>> >>> > The following...kinda works, when executed as a Leo script: >>> >>> It is only necessary to add a createWindow method to make Jupyter's main >>> page fully functional: >>> >>> class JupyterWidget(QtWebKitWidgets.QWebView): >>> >>> def __init__(self): >>> QtWebKitWidgets.QWebView.__init__(self) >>> self.load(QtCore.QUrl( >>> "http://localhost:8888/tree";)) >>> >>> def createWindow(self, obj): >>> return self >>> >>> Wow, that was easy. It should work regardless of the directory from >>> which Jupyter is serving. >>> >> >> There are two big problems with this approach. The embedded browser is >> glacially slow and way too big to fit comfortably inside Leo. >> >> The solution to both problems is to switch back and forth between a real >> browser and Leo. This is just Alt-Tab (Ctrl-Tab on the Mac, iirc). It >> should be easy to tightly integrate Leo with an external browser, if we >> haven't done so already... >> >> 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.
