Johan Forsberg commented on issue #5 at Johan Forsberg / Boogie

Johan Forsberg
2026-02-27T09:26:17Z

Yes, this is clearly a bug. It ties a little together with #2 which is also about writing attribute values. It should be easily fixable, I can have a look, if you haven't started looking into it.

Lifting the sights a little bit, I think it should be possible to make this more user friendly. Having to figure out what to write and how to formulate it for each attribute type is annoying. A boolean can only have two possible values so in principle the only operation here could be to toggle it. But I guess there will be cases where you still want to write "true" to an attribute that is already "true"...

How about putting in a "dropdown" where you choose from the possible values before pressing return. That could also work well for DevEnum, I think.