setzer22

> The editor doesn't reload the extension, but the game loads the updated one each time you launch it. Ah, sorry about that. I should've made it more clear in...

@BastiaanOlij In my opinion, the main appeal of GDExtension is for extension developers. Say you're developing a terrain system, or a new low-latency audio server for Godot. GDExtension is clearly...

@jordo To clarify my comment above, this is also what I was suggesting. :smile: Not remove GDExtension, but introduce something else that works similar to the old GDNative for those...

@BastiaanOlij Thanks :slightly_smiling_face: I appreciate your effort looking into this! I was suggesting adding something else (possibly on top of GDExtension itself?) because I was kind of assuming a better...

I experience this issue regularly. What works to make the buffer take my input again is to press the char/line mode toggle button in the modeline a bunch of times....

Hi! Thanks for reporting :smile: As we discussed on discord, I'm aware of the issue and unfortunately, there are no easy workaround that can be implemented externally in a completely...

> Hmm, I think yes - we need to shift the KV cache. I haven't implemented this yet in any of the `ggml` examples. And when the context is full...

> to have two contexts and do some sort of swap strategy? @tjohnman I'm unsure what you mean by a swap strategy here. My first guess is that swapping things...

My package manager lists "Firefox 69.0.1-0". As for "unusual" things in my system, I'm using EXWM inside a Plasma 5 session (I just replace Kwin), and additionally I'm using spacemacs...

The issue definitely resolves itself when I switch to another window manager (openbox, Kwin), so at least we can safely assume that this is a bad interaction between EXWM and...