Got a crash today, but I can't reproduce it. Also I could not find a core dump (they usually go to /var/tmp but no file there).
I have uploaded a file: crash_171221.7z with some information about this crash to support.slickedit.com.
Inside the 7z:
console_output.log shows what was put on the console (konsole window where I launched SE from) after SE crashed. Looks like a stack trace and some other information.
"bld" - I had this file open at the time of the crash
"paste_end_bld.txt" - The crash occurred just after I copied the contents of this file and pasted it at the end of "bld".
