Re: Perfect pinpointing a Clone
Thanks for this Edward, it goes into my list. On Friday, October 4, 2013 11:16:42 PM UTC+2, Edward K. Ream wrote: On Fri, Oct 4, 2013 at 10:46 AM, Fidel N fidel...@gmail.com javascript: wrote: Its hard to predict and clearly understand how clones will work so I would like to know if this strategy shows any evident flags to more experienced clone users like you guys. The first thing to keep *firmly* in mind is that all clones are really and truly *exactly the same* vnode. It is the drawing code, in conjunction with the position iterators, that create the *illusion* of the same node appearing at multiple positions. Thus, the proper way to think about this problem is to focus on vnodes. Second, for any node p, p.v.parents is an *unordered* list of all p.v's parents (a list of vnodes) In the face of changing outlines, only vnodes stay stable. For any position p, p.stack is a list of tuples (vnode,childIndex). The most general way to associate a clone with one of its parents (or list of ancestors) would be to compute (tested code):: ancestors = [parent for parent,childindex in p.stack] So now you have a list of ancestors (vnodes) in the *old* tree, and you want to find the closest match in the new tree. It can get complicated... Other approaches might do almost as well with a lot less 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
Re: Leo as a web-app, part 9000
So it would be easy to setup a recipe for Leo, but arc.io would really have to take off for it to be worthwhile. Installing arc causes VirtualBox to be installed and that requires admin rights and that seems like a big hurdle to me. Maybe not. If installing arc.io is easier than installing Leo, then it could be worthwhile. Hey, about the virtualbox bit, maybe since they are taking of now, it would be interesting to warn them that they should use VirtualBox portable, so things will easily be kept portable, which is esentially the reason why someone would use such a service (access from everywhere) http://www.vbox.me/ -- 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
Re: Perfect pinpointing a Clone
On Sat, Oct 5, 2013 at 3:07 AM, Fidel N fidelpe...@gmail.com wrote: Thanks for this Edward, it goes into my list. I'm glad I didn't scare you off ;-) To simplify my previous rambling post, p.stack[0], the top of the position stack, is (parent,n) where parent is the vnode of the (unique) parent of p. Unless you have *really* changed the outline, you can look for the vnode v whose parent vnode is parent and (if there are more than one such v) whose childIndex is n. If you *have* changed the outline so that no such v is found, then presumably no scheme based on positions has any chance of working. Might as well pick the first vnode whose gnx matches. HTH. 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
Re: Minimal fix for --minimize?
On Fri, Oct 4, 2013 at 7:18 PM, Terry Brown terry_n_br...@yahoo.com wrote: But no more wrong than (2), which adds complexity to fix a problem that can probably be avoided. I'm thinking I might try (1) locally and see if I see any problems. Go for it! In general it seems that (de)iconifying / minimizing the window should only be done very deliberately, not as a side effect of various other actions. I agree completely. I forget if there are any in the repo. as opposed to in my scripts, but you can do: def at_idle(c=c): do_stuff() Qt.QTimer.singleShot(0, at_idle) to get focus in the right place after all c.redraw() / c.outerUpdate() etc. etc. Excellent. I might try that after the call to deleteLater. If it works, I may just leave things as they are otherwise--viewrendered is *really* complex (because it is doing complex things.) My question: is there any reason why deleting the vr pane is necessary to keep either the free_layout or nested_splitter plugins happy? No, they have special relationship to view rendered. The view rendered plugin probably registers with free_layout as a widget provider, but there's nothing special about that. To be clear, this mean that it *should* be possible to hide the pane, rather than delete it. Right? 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
Re: Learn the basics of Leo in one hour
On Sat, Oct 5, 2013 at 3:19 AM, Fidel N fidelpe...@gmail.com wrote: Just reviewed it, looks great. About the part Leo doesnt create the settings file automatically, why cant we make Leo check if the mysettings file exists, and if not, just create one? or at least, do it so when user clicks on help-myleosettings, if it doesnt exist, it will give a warning and create it? There would be a smallish problem with doing that. At present, Leo looks in various places for myLeoSettings.leo at startup I forget the search order (it's in a table somewhere) and it usually doesn't matter because there would (presumably) be only one copy of myLeoSettings.leo. But if Leo created myLeoSettings.leo automatically, then to use one of the *other* locations for myLeoSettings.leo, one would have to delete ~/myLeoSettings.leo first. Yes, this really is a small problem, and it does seem reasonable for to Leo create myLeoSettings.leo in the users home directory. Please feel free to file a wishlist bug. 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
Re: Learn the basics of Leo in one hour
Great, OMW. For avoiding the problem, we can just tell him, before creation, to check if it exists in any of the 2 places it should. If it doesnt, its a go, if it does, just dont. The creation order dosnt matter, its just a before creating, check if already exists and since we only have 2 places where to check, its pretty limited. Wht i mean is we wouldnt be touching anything at startup or leo code, we would just foolproof the leosettings creation, so nothing should go wrong unless anyone manually messes up with that. On Saturday, October 5, 2013 10:33:54 AM UTC+2, Edward K. Ream wrote: On Sat, Oct 5, 2013 at 3:19 AM, Fidel N fidel...@gmail.com javascript:wrote: Just reviewed it, looks great. About the part Leo doesnt create the settings file automatically, why cant we make Leo check if the mysettings file exists, and if not, just create one? or at least, do it so when user clicks on help-myleosettings, if it doesnt exist, it will give a warning and create it? There would be a smallish problem with doing that. At present, Leo looks in various places for myLeoSettings.leo at startup I forget the search order (it's in a table somewhere) and it usually doesn't matter because there would (presumably) be only one copy of myLeoSettings.leo. But if Leo created myLeoSettings.leo automatically, then to use one of the *other* locations for myLeoSettings.leo, one would have to delete ~/myLeoSettings.leo first. Yes, this really is a small problem, and it does seem reasonable for to Leo create myLeoSettings.leo in the users home directory. Please feel free to file a wishlist bug. 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
Re: Minimal fix for --minimize?
On Sat, 5 Oct 2013 03:27:36 -0500 Edward K. Ream edream...@gmail.com wrote: My question: is there any reason why deleting the vr pane is necessary to keep either the free_layout or nested_splitter plugins happy? No, they have special relationship to view rendered. The view rendered plugin probably registers with free_layout as a widget provider, but there's nothing special about that. To be clear, this mean that it *should* be possible to hide the pane, rather than delete it. Right? Oh, hmm, wasn't focused on that part of the question. Hiding might be confusing, because the splitter UI refers to panes left or right of a splitter assuming they're visible to the user. So my first response would be to say you might need to hide it and then re-parent it under another widget for storage, which is somewhat fiddly. Also I'm not 100% sure if the difference between a widget being closed (which free_layout watches for) and being removed could cause issues. Actually no, that must be ok, because you can remove / reparent the non-closeable widgets (body / tree / find etc.) no problem, they just get stuffed into the log pane. So, probably the thing to do it tag the view rendered pane as non-closeable, so when it's closed in the splitter UI it's just stored in the log pane, and I think hiding should work ok there. A large part of the confusion comes from whether the VR widget is singleton or not. It's designed not to be, but a lot of the vr-* commands treat it like it is. It might help to make the view_rendered plugin register two client types with the splitter ui, one singleton for the vr-* commands, and another not. I'll try and find some time to take a look. Cheers -Terry -- 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
Re: Learn the basics of Leo in one hour
On Sat, Oct 5, 2013 at 3:59 AM, Fidel N fidelpe...@gmail.com wrote: For avoiding the problem, we can just tell him, before creation, to check if it exists in any of the 2 places it should. If it doesnt, its a go, if it does, just dont. I agree. The creation order dosnt matter, its just a before creating, check if already exists and since we only have 2 places where to check, its pretty limited. Yes. Wh a t i mean is we wouldn ' t be touching anything at startup or leo code, we would just foolproof the leosettings creation, so nothing should go wrong unless anyone manually messes up with that. Huh? It would be Leo's startup code that creates myLeoSettings.leo if it doesn't exist. Anyway, I agree with you that Leo should create myLeoSettings.leo in the user's home directory if no other myLeoSettings.leo is found. 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
Re: Learn the basics of Leo in one hour
Huh? It would be Leo's startup code that creates myLeoSettings.leo if it doesn't exist. Couldn't it be created just when a user clicks on the Help menu, then he clicks on Open my leo settings? This way, we could also generate a dialogue and ask the user if he wants it on the default leo directory or the users home directory. And also warn the user that such a file is being created. Great, already posted it to the wishlist. -- 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
Re: B1 is code complete. Please test
Hello Edward, hello Terry, Am Freitag, 27. September 2013 21:48:51 UTC+2 schrieb Viktor Ransmayr: Hello Edward, hello Terry, Am Freitag, 27. September 2013 20:40:50 UTC+2 schrieb Terry: On Fri, 27 Sep 2013 13:35:44 -0500 Edward K. Ream edre...@gmail.com wrote: On Fri, Sep 27, 2013 at 12:13 PM, Viktor Ransmayr viktor@gmail.com wrote: I just noticed that I can *not* enter the 'euro' sign anymore within Leo. - I can't tell at which revision it happened exactly, since I also switched the laptop with it the OS. Most likely related to https://groups.google.com/forum/?fromgroups=#!topic/leo-editor/dECZYFEIvIo Unlikely, imo. The post you mention was intended only to removed unused (and do-nothing) code. It should have had no effect on 'Alt Gr' keys. There are complex setting related to key bindings. My guess is that switching to a new laptop + OS may have altered the settings. Viktor, perhaps you could grab one of the older versions you see scrolling down http://greygreen.org/leo/ and try that? They're just .zips you open and run, the 30 or 90 day old versions should predate all recent changes. I tried it with both the 30 the 90-day old versions. - They also show the same issue. - So it seems to be Windows 8 related, because on the old laptop I was using Windows 7 ... Please advise how to best proceed in tracking down this issue. With kind regards, Viktor -- 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
Re: B1 is code complete. Please test
On Sat, 5 Oct 2013 13:20:49 -0700 (PDT) Viktor Ransmayr viktor.ransm...@gmail.com wrote: Hello Edward, hello Terry, I just noticed that I can *not* enter the 'euro' sign anymore within Leo. I tried it with both the 30 the 90-day old versions. - They also show the same issue. - So it seems to be Windows 8 related, because on the old laptop I was using Windows 7 ... Please advise how to best proceed in tracking down this issue. Don't have any immediate access to Windows 8, so hard to test. Can you enter these characters in other apps. in Windows 8 using the same keys? Also, I don't know much about Leo key handling. Cheers -Terry -- 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
Check out Leo's home page!
Fewer words, more oomph. *I* love it. What do *you* think? 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
Re: Check out Leo's home page!
On Sat, Oct 5, 2013 at 5:01 PM, Edward K. Ream edream...@gmail.com wrote: Fewer words, more oomph. *I* love it. What do *you* think? Also, the tutorial page at http://leoeditor.com/intro.html simply links to the two Learn in one hour parts. Again, *far* fewer words. The second part isn't completed yet. It will be soon. 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
Re: Check out Leo's home page!
On 10/5/2013 6:10 PM, Edward K. Ream wrote: On Sat, Oct 5, 2013 at 5:01 PM, Edward K. Ream edream...@gmail.com mailto:edream...@gmail.com wrote: Fewer words, more oomph. *I* love it. What do *you* think? Also, the tutorial page at http://leoeditor.com/intro.html simply links to the two Learn in one hour parts. Again, *far* fewer words. The second part isn't completed yet. It will be soon. 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out. Fantastic! I think I can actually explain what Leo is now, by pointing user to the website and filling in any blanks (i.e. answering questions). Great work, Edward! Oh, one request -- the new tutorials are awesome, but please don't get rid of the old ones. They helped me a lot, and I think they're great for new users, after they try the new tutorials first that is. --Jake -- 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
Re: Check out Leo's home page!
On Sat, Oct 5, 2013 at 5:19 PM, gatesphere gatesph...@gmail.com wrote: Fantastic! I think I can actually explain what Leo is now, by pointing user to the website and filling in any blanks (i.e. answering questions). Thanks. I can say the same myself ;-) Oh, one request -- the new tutorials are awesome, but please don't get rid of the old ones. They helped me a lot, and I think they're great for new users, after they try the new tutorials first that is. I'll take this under advisement. At present, the old tutorials are in the attic, that is, in leo/doc/leoNotes.txt. I plan to review the old tutorials, and find someplace for some of the details that appeared in the old tutorials but not the new. This will be tricky, for organizational reasons. It would seem necessary to repeat old material in order to provide context for the new, but I really don't want to have multiple tutorials that differ only in level of detail. It's a puzzle. I'll have to mull it over...One possibility is to discuss good style in the second part of the tutorial, and leave some of the more abstruse details for a reference. 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.