Re: [Dr. Geo] DrGeo fileIn is freezing since last changes of April 13

[Oscar Nierstrasz]

Hm. False alarm. Not sure what was happening, but now I can load the latest DrGeo sources just fine as a separate, full package, and I can also update from your changes.

https://github.com/feenkcom/gt4DrGeo

Now I'll have to see about getting something to actually run ...

Cheers,

Oscar
---
oscar.nierstrasz@feenk.com
https://feenk.com/about/

On 15 Apr 2024 at 20:05 +0200, Hilaire Fernandes <hfern@free.fr>, wrote:

I will suggest making a diff between current state of the code and the
one at 11/4.

 Surprisingly I  don't find how you can do that in guthub.

The most notable change was on DrGMorph where I discarded several
attributes to make the instance a bit smaller.

Hilaire

--
GNU Dr. Geo
http://gnu.org/s/dr-geo/
http://gnu-drgeo.blogspot.com/