--
You received this message because you are subscribed to the Google Groups "Plover" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ploversteno...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to a topic in the Google Groups "Plover" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/ploversteno/QdAW2IkX1pA/unsubscribe.
To unsubscribe from this group and all its topics, send an email to ploversteno...@googlegroups.com.
Ah, that’s interesting. I didn’t even notice that the menu was missing. Good point. I wonder if it’s my build or if it’s a Plover issue. I’ll do some digging over the next week and figure it out (by building older and older versions until I find out). I’ll leave notes in this GitHub issue
As for the other issue, that does actually sound like a bug and not a bad build (in my opinion), so if I could ask you to, would you be able to get some information and summarize it on a GitHub issue?
I’d be most interested in: