Edward. Regarding 'healines' a (smallish) difference from Leo that might 'trip' someone using leoInteg: When inserting a node, 3 things can happen, 1-the user get to type a headline and press enter, 2- or press escape to cancel naming and go with 'newHeadline', 3- or press CTRL+I again while still supposed to be typing a headline label. (and ctrl+i can be rapidly repeated in both leo and leoInteg with the same effect)
The difference, in all of those three cases, is that the headline is not* visibly inserted in the tree yet *while typing its label for the headline in leoInteg, while it is in Leo! It sometimes even trips me if I alternate using both leo and leoInteg in a coding session. So to conclude with that about the possibilities of headline renames off-targets: That small difference it might have been what happened... (with the first bug you reported earlier about the 'headline seemingly being renamed off target.) Otherwise, if you remember specifically right-clicking on it, or using ctrl+h for the currently selected node and clearly not inserting new one, then yes, its concerning. Oh, and yes, The last possibility is that , like you also mentionned, you had mouse hover and actual selection on another node. and ctrl+h thinking it was the other way around. I'm not too concerned because I never had off target commands, and all commands use the exact same 'system' and mechanism to 'target' nodes. Body file-system rewrite for stable multi-leo opened documents is more important. dunno why i didn't focus on that after creating all icons and UI for the multi documents panel. (i guess i was too excited with this new cool toy i completely forgot!) -- Félix On Monday, July 13, 2020 at 8:20:58 PM UTC-4, Félix wrote: > > Thanks! > I know where those problems stem from. When I added multi file support, I > left unsupported conditions which could not arise with the body file system > provider before the multi file support. I will switch priority to those > issues. > > Félix -- 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/0545c897-d939-4da4-8e1b-76cc4448f1c7o%40googlegroups.com.
