<div id="__MailbirdStyleContent" style="font-size: 12pt;font-family: Candara;color: #000000"><blockquote class="history_container" type="cite" style="border-left-style: solid;border-width: 1px;margin-top: 20px;margin-left: 0px;padding-left: 10px;min-width: 500px"><p style="color: #AAAAAA; margin-top: 10px;"></p></blockquote><div><span style="font-size: 12pt;font-family: Candara;color: #000000">Thanks again Florian.  I'll see if I can get anywhere with this.</span></div><div><span style="font-size: 12pt;font-family: Candara;color: #000000"><br></span></div><div><span style="font-size: 12pt;font-family: Candara;color: #000000">This is Windows, so I can't use </span><span style="font-size: 12pt;color: rgb(0, 0, 0)"><span style="font-family: Courier New">gdb</span></span><span style="font-size: 12pt;font-family: Candara;color: #000000">, I don't think.  I see your instructions for Windows say something about running a diag tool on a dump file.  Unfortunately, I don't get an <i>"Xxx has stopped working"</i> window, so I'm not sure I have the capability to create a dump file.</span></div><div><span style="font-size: 12pt;font-family: Candara;color: #000000"><br></span></div><div><span style="font-size: 12pt;font-family: Candara;color: #000000">But perhaps the </span><span style="font-size: 12pt;color: rgb(0, 0, 0)"><span style="font-family: Courier New">faulthandler</span></span><span style="font-size: 12pt;font-family: Candara;color: #000000"> module will enlighten me.</span></div><div><span style="font-size: 12pt;font-family: Candara;color: #000000"><br></span></div><div><span style="font-size: 12pt;font-family: Candara;color: #000000">I keep thinking it must have something to do with sorting the data underlying the model -- that maybe it causes Qt to get confused as to what model index corresponds to what data item.  In any event, it seems definitely to be the case that if I comment the sort out, the crash disappears ...</span></div><div><span style="font-size: 12pt;font-family: Candara;color: #000000"><br></span></div><div><span style="font-size: 12pt;font-family: Candara;color: #000000">I appreciate the help.</span></div><div><span style="font-size: 12pt;font-family: Candara;color: #000000"><br></span></div><div><span style="font-size: 12pt;font-family: Candara;color: #000000">/John</span></div><blockquote class="history_container" type="cite" style="border-left-style: solid;border-width: 1px;margin-top: 20px;margin-left: 0px;padding-left: 10px;min-width: 500px"><p style="color: #AAAAAA; margin-top: 10px;">On 5/7/2019 2:52:06 AM, Florian Bruhin <me@the-compiler.org> wrote:</p><div style="font-family:Arial,Helvetica,sans-serif">On Mon, May 06, 2019 at 10:26:29PM -0500, John F Sturtz wrote:
<br>> In neither case, in the course of interacting with the widget or the
<br>> listview, did the model checker report anything, right up to and including
<br>> the point at which the interaction makes the app crash.
<br>> 
<br>> Perhaps now I can conclude the problem (probably) isn't in the model design?
<br>
<br>Hmm, seems like it.
<br>
<br>Maybe you can find out more about the crash by activating Python's faulthandler
<br>module: https://docs.python.org/3/library/faulthandler.html
<br>(either run python with "-X faulthandler", or do "faulthandler.enable()" once)
<br>
<br>Or using gdb, similar to what I documented here:
<br>https://github.com/qutebrowser/qutebrowser/blob/master/doc/stacktrace.asciidoc
<br></div></blockquote></div>