Maja Kądziołka comments

Results 70 comments of


                                            Maja Kądziołka

Segfault with long gtk backtrace - seemingly originating in XournalMain::run()

I have hit this yesterday. I have a crash log, but no coredump. Normally, all crashes on my machine show up in systemd's `coredumpctl`, but this one doesn't. Are you...

Segfault with long gtk backtrace - seemingly originating in XournalMain::run()

I'm finding it quite easy to reproduce this – usually by doing something like placing my palm on the scroll bar. Not only did I capture a proper coredump, but...

Segfault with long gtk backtrace - seemingly originating in XournalMain::run()

I have created an issue on the gtk repo: https://gitlab.gnome.org/GNOME/gtk/-/issues/7517

Document how closure capturing interacts with discriminant reads

I've reworded the slice and range sections to not use the "discriminant read" term, do you think this is clearer?

Make it easier to figure out why borg terminated with warning status

To be clear, what I'm reporting here is an UX issue – once I've gone through all the steps I've described, it's already solved for me: I figured out why...

Add (const) functions on enums

I periodically try to make things more const, but the features required to do this cleanly were still WIP the last time I checked. For now, there is a collection...

Footnotes incorrectly labelled where they appear above and below a

Not sure why this issue hasn't closed automatically now that #2917 has been merged. Are we waiting for a release before closing the issue?

Mixfix ambiguity (tuples in lists)

Have you considered using e.g. `;` as a list separator, a la OCaml?

Agda fails to solve constraints when trying to use ⊆-trans

I see, so this isn't a bug, but more of an UX shortcoming. One feature I'm familiar with, available in other proof assistants, is a variant of implicit arguments that...

set_default_camera takes a long time, how to fix?

I believe that `set_default_camera()` might be flushing all the GPU work queued in your `world.draw()` – work that was previously happening during `next_frame().await`.