Michael J Gruber

I don't think `/usr/local` is the right place on other Fedora variants, not even os-tree based ones. `/etc` and `/var` for config and variable files, yes. Or are you trying...

Same here, or even worse: In the "collegiate phase" (last 2 years of highschool in Germany), students can pick their subjects individually (within restraints). If your school uses a single...

The main issue is that libgit2 walks the DAG differently than git.git does (unless you compare to `git --no-replace-objects` or set `GIT_NO_REPLACE_OBJECTS`). In that sense, libgit2's traversal is simply wrong...

And here is what it looks like: 

Yes, first thing I checked after using this in class was the size of the boxes ... I might be difficult to find a good balance between usability, observability and...

> Random thought, but is paste actually useful? I'm having a hard time imagining a situation where I would want to paste (a different element) by selecting an existing element....

> Some brainstorming about obtrusiveness: With small handles, I don't find the current version to be obtrusive. This might change with the suggested larger icons, of course. > > In...

> I often use xournalpp for drawing schematics meant to be included as pdf in a LaTeX document. To that effect, I use the pdfcrop tool on the pdf produced...

The exported pdf is fine here (Fedora 33) with xournalpp from git and: gtk3-3.24.28 cairo-1.16.0 poppler-0.90.0 Poppler's version jumped from 0.90.1 to 20.08.0. Versions 0.90 and below are pretty common.

I'm not really sure what's happening here and if that's related - could it be that they got renamed? I see "symbolic" versions in Adwaita of those which are reported...