My clone of the Leo repository already has a devel branch that I had just updated. Github Desktop seemed confused when I went to merge my private VR3 into my private devel, so I just copied the modified files into devel instead. Could that have caused what you see? The actual changes to qt_gui were in only two places, to add viewrendered3 to the list of viewrenderedxx that would be used for displaying plugin docstrings, help-for-command, etc.
Can I just clone a branch of the Leo repo? I thought - at least, using Github Desktop - that I could only get the whole repo with all its branches. On Wednesday, March 11, 2020 at 11:44:06 AM UTC-4, Edward K. Ream wrote: > > > > On Wed, Mar 11, 2020 at 8:33 AM Thomas Passin <[email protected] > <javascript:>> wrote: > >> I updated devel on my repo a few minutes ago to be level with Leo's >> devel, and merged VR3 into it. Then I made a new pull request. I hope >> that's what you need. Otherwise I'll need a bit of handholding... >> > > Something's not right. There is a large diff against qt_gui.py. > > I suggest making a new private branch off of devel, then making the > minimal changes needed to get VR3 to work. > > Edward > -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/e928cc64-a0d0-48a7-abb5-b7be250b001b%40googlegroups.com.
