I think I have seen something similar recently, but didn't pay attention. I will look more carefully if it happens again. Although I can't remember if there was any dialog shown when I saw this bug, I am suspecting some race condition in GUI initialization. Perhaps body widget fires text change event before the model is fully initialized and causes the selected position's body to be overwritten with an empty string. Delaying modal dialog with a single shot timer will certainly change the order of events but I am not so sure it could really solve the bug. It may just make this bug less likely to happen. This might be enough but I would prefer (if possible) to find and eliminate the primary cause of this bug.
Vitalije On Thursday, July 19, 2018 at 6:36:25 PM UTC+2, Terry Brown wrote: > > On Sun, 3 Jun 2018 11:06:23 -0500 > "Edward K. Ream" <[email protected] <javascript:>> wrote: > > > On Thu, May 31, 2018 at 4:52 PM, Terry Brown <[email protected] > <javascript:>> > > wrote: > > > > > Anyone else seen this behavior? > > > > > > Load outline. Top node of a Python @auto file will be marked > > > dirty, and a node in that file will be empty, except for having the > > > right headline (the headline of the def the node should have > > > contained). Refresh from disk fixes it. Saving the file without > > > refresh deletes the function from the disk copy. > > > > > ... > > > > > If no one else is seeing it I'll blame my particular blend of > > > plugins. > > > > That would be a particularly nasty set of plugins. I have never seen > > anything like this. > > Continuing to see this so debugged a bit more, and traced it to a > @script calling g.app.gui.runAskOkDialog at startup. Something about > interrupting the GUI with the modal dialog. Wrapping it in a QTimer > singleshot callback fixed the problem. I tried making a simple test > case, but then it didn't do it. Maybe some weird timing related thing > that only happens in large files. > > 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
