Max Lang

Apologies for the English reply; I've machine translated your comment, so hopefully nothing got lost in translation! It looks like this feature has been added in [#v0.5beta1](https://github.com/keshikan/DSEG/releases/tag/v0.50beta1). For DSEG7 (for...

Added thumbnails, at least in the UI :) Not sure what to actually show as a thumbnail though  

Sure, I've sent you an email :>

currently focused on exams, so I'll probably make (actual) progress on this again next week for now, maybe we could come back to the kitten idea :) 

This has stalled a bit on my end, since I'm focused on writing my bachelor's thesis right now. If someone wants to pick this up, please feel free. Otherwise, if...

I had some time and put together a prototype, see #610. I'd appreciate feedback/suggestions!

I actually added keyboard shortcuts in #476, so the space bar usually does play/pause the video (if shortcuts aren't working for you in general, that's a different issue of course)....

Yep, it's not a critical issue since it's just the test exam. While reproducing the issue, I just let the working time run out (and then went through with the...

> Or is it simply that this improved diffing is supposed to combine particularly well with https://github.com/goblint/analyzer/pull/738 for performance improvement? Yes, technically this doesn't depend on #738. However, this isn't...

I have the same issue. Do emojis also look blurry? Also, do you have hardware rendering turned on? In my case, the answer to both is yes. I've also tried...