Nick Hu
~Actually upon further inspection it seems that the only thing I need to do is hit my physical CTRL key for it to stop working...~ I was wrong, I have...
Yes, I had assumed this was a detail of the implementation rather than a bug. I started this issue to start a dialogue so that a consensus could be reached...
Yeah, I wouldn't be surprised if IBus were doing something wrong. I just got sufficiently annoyed at not being able to use it properly to go investigate, but I'd settle...
Prototype already exists here https://github.com/vector-im/element-android/pull/2133
cc @garyb @paf31
I think it's a bit misleading to mark the Maths feature as done. For web it works, but I need help finishing https://github.com/vector-im/element-android/pull/2133, and as far as I'm aware nobody...
TODO: * [x] Make text not blurry and scale correctly * [ ] Make arrow tips not computed in the stupidest way possible * [ ] Programatically strip diagram boundaries...
@doctorn would love a review on this, I'm for sure doing some things incorrectly GL-wise. In particular, I'm almost certain this is wrong in some way: https://github.com/homotopy-io/homotopy-rs/blob/a064c1bbb14263927aaa4444efbdbea4e45eb729/homotopy-web/src/buffers.rs#L623-L653 And the way...
This currently just uses the geometry you would get if you projected any diagram into 3D, but the intention is that this can be changed on the fly in order...