Jon Howell

I had exactly the same frustration as ksperling -- lots of debugging time wasted; ordinary users must just give up in despair. Suggestion: have command line tool issue a warning...

I think I encountered this problem because my desktop has an unconventional screen scaling. Here I installed Cura in a fresh Ubuntu 15.10 vm. It looked fine at first; when...

Wow, wxWindows is remarkably resistant to fixing this problem. I tried adding self.SetScrollbar() to InfoPage, and got a scrollbar, but the text laid out inside the scrollbar didn't actually move....

Yup, I tried sizer.SetVGap(23), and the sizer dutifully allocated more space, which made wxwindows dutifully allocate a bigger (but unresizable) top-level window. But all of its allocations seem to be...

* impossible to write a generic composition proof within the module system (no such proof would be allowed to rely on an SMT condition like A.Inv ==> B.Inv) Why not?...

Hi prkos, Hmm, it's working for me, and my runtime environment matches yours: ``` $ java -version openjdk version "1.8.0_282" OpenJDK Runtime Environment (build 1.8.0_282-8u282-b08-0ubuntu1~20.10-b08) OpenJDK 64-Bit Server VM (build...

Confirming: I just ran into this problem importing my 2GB Records.json. The bundle processes terminates with the stoic message "Killed" after 59 seconds; at that point top (running inside docker)...

Better still, I see that the import jobs are identified after the import is complete in the Imports panel, suggesting that there's metadata in the db that could be used...

Here's my take on @savvasdalkitsis 's chunk-ifying script. [splitter.py.txt](https://github.com/user-attachments/files/16923470/splitter.py.txt)

Chunks are divided by count of records. The records vary wildly in length depending on what Google decided to tuck into them that day. :)