Hey, I keep working on the dynamic Leo helper: <http://i.imgur.com/9YEH8DO.png>
<http://i.imgur.com/MkKN9Gn.png> And after making it show different menus depending on where the user is (hook fixed), now It would be very interesting to be able to interactively allow the user to select nodes and filter them. When a node is selected, the program offers to add to selection, filter the selection, etc, and when there is a multiple selection, it does the commands given for all the selected nodes. The problem is I find no way of showing the user which nodes are currently selected. I first tried to use c.selectPosition(), but doesn't quite work with buttons<https://github.com/leo-editor/leo-editor/issues/8> . Then I tried marking the selected nodes, but this doesn't work, since: - If c.redraw() is used after marking, the focus of the tree pane keeps jumping to center the last selected node, and this is annoying for the user - Else, marked nodes don't update as soon as the user would need to see them updated. Therefore, I found no way to seamlessly show the user which is his selection or filtered nodes without altering the view in any way. Just thought of adding a last icon,and popping it, will be trying that next. But Leo has often many ways of reaching somewhere, did anyone find a way to show several nodes to the user that works? -- 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 http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
