I can't reliably reproduce this problem, so I can't give you a test case that demonstrates it. This problem significantly degrades Leo-Editor's usability, so I expect others to notice it and provide additional information. For both of these reasons, I'm posting the problem here on the forum and not as a GitHub issue.
The symptom that I first noticed was unexpected, unpredictable changes in what the tree pane showed when I switched back to Leo-Editor after switching away from Leo-Editor by executing open-url. Sometimes the node selected was unchanged, but it had been scrolled up in the tree pane; and sometimes it had been scrolled all the way out of the tree pane. Sometimes the node selected had been changed to a sibling node after the node that was selected when I switched away from Leo-Editor. In all cases, the body pane correctly showed the contents of the currently selected node. One time, immediately after switching away from Leo-Editor by executing open-url, but long after the browser window was displayed completely covering the Leo-Editor window, I did an Alt-F4 and Leo-Editor popped up its "Save changes before exit?" window. That is, even though Leo-Editor should not have received the terminate signal, it had received the terminate signal. That was my clearest clue that Leo-Editor was acting on operator input that should not have gone to Leo-Editor because Leo-Editor was not the "top" window. I'm only guessing that this also explains the other symptoms. I'm fairly sure that this problem is Leo-Editor's and not my operating system or PyQt because to the best of my knowledge the change that caused these problems to start occurring was my switch from Leo-Editor commit f6cdb2bccb1a7ca8812f49f0da951cec5617279f to commit 42a5207833e08ff37e767d60e1020f6151b3a70b. I made this change 2015-03-02 Mon. I did not change my operating system, my desktop, PyQt, or Python. I used Python 2 both before and after the problem started occurring. My test system: Xubuntu32 12.04 Python 2.7.3, PyQt version 4.8.1 -- 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/d/optout.
