JF

Hello, I'm a huge fan of sloppy focus, I was even using sloppy focus with PaperWM (sometimes with the help of other extensions). At some point, the behavior of PaperWM...

> Hey @bilboquet, as you mentioned this issue is a little different - I've created a ticket for the "mouse follows focus" approaches you're referring to #756. Many thanks, at...

Hello, @jtaala, you've asked for feedback so, even if I'm not the OP, as I'm really grateful for what you're contributing, I'm coming with my 2cents. First, as a disclaimer,...

Sorry I've open nearly the same here: #436 Latest one gives a solution, closing this one

I talk about this months ago. I would be really interested in such a thing too. https://www.youtube.com/@rustformalmethods some "visual" details here.

(cc @SebastienValla ) Having read the discussion and both related issues in Thyra, I feel like I'm lacking some context. (I'm new to the subject). Can someone confirm that on...

@SebastienValla Thanks for the reply. Let me explain the solution we are considering. (This, I hope, summarize whav @damip and @AurelienFT said above) First, this issue seems to contains several...

Side notes: If I have understood correctly, on Thyra side: - they'd like to have one wallet file per address. - salt is different in each file This will probably...

Based on my current understanding, I'd like to add some details on the use case. Please correct me if I'm wrong. It seems like we don't want full bidirectional compatibility...

with a bit of variation in the format of the exported wallet (every field is an array of bytes) I have [wallet.zip](https://github.com/massalabs/massa/files/10823626/wallet.zip) working. in the attached zip you'll find -...