Aaron Fenyes
Aaron Fenyes
### What it does This feature implements a gedit-style offer to load external changes, addressing issue alexandervdm#167. In the process, it also addresses issue alexandervdm#168. See https://github.com/alexandervdm/gummi/issues/167#issuecomment-1079944636. ### How it...
Right now, if I try to save an editor tab into a file that's been modified externally, I'm presented with two options: - *Reload:* Overwrite the tab with the contents...
When `t` is a monomial with rational coefficients, `sqrt(1+t)` ends up with floating point coefficients—even though they could be rational. As far as I can tell, the only obstacle to...
I'd like to package and publish the [submodule](https://github.com/Vectornaut/whorl/blob/development/poincare_disk.jl) of [this project](https://github.com/Vectornaut/whorl/tree/development) that draws things on a view of the hyperbolic plane. It currently uses Compose as a backend, because: -...
## Description I'm trying to install Gummi 0.8.3 using Homebrew on macOS Monterey (12.5.1), following the guidance in https://github.com/alexandervdm/gummi/issues/161. I think the build is failing because my SyncTeX dependency says...
I'm using `depends_on "zegervdv/zathura/synctex"` in a Homebrew formula that builds another program ([Gummi](https://github.com/alexandervdm/gummi)) from source. The SyncTeX tap seems to say it's at version 1, but act like it's at...
While gearing up for #616, I implemented a 3D intersection line element, which can be created by taking the intersection of two planes. Is that worth a pull request?
This supports editors like [gedit](https://help.ubuntu.com/community/gedit) and [Gummi](https://gummi.app/). I've imitated the behavior of the tmTheme as well as I could.
As @Cleonis [notes](https://github.com/jsxgraph/jsxgraph/issues/633#issuecomment-2171743954), JSXGraph doesn't do any occlusion handling for 3d elements. Although general occlusion handling would be hard to implement, making points occlude each other correctly is relatively simple....
I'm trying to build the wasm32 example from the README, but linking fails. The error message suggests that `wasm-ld` isn't receiving the `--no-entry` flag. I'm using commit 3fbef59 of `nlvm`....