While you were gone, I took over. There's not many changes since what you already merged, but it'd be nice if you could pull in everything. Because of git history reasons, doing this as a merge would be preferred. You could then massage the LICENSE file further.
The remaining fixes get rid of a spam of warnings in the version of GTK Ubuntu 18.04 ships. Positive lines convert the removed syntax to what the docs say is a replacement, but as far as I know they're redundant with defaults/inherits already.
I also have some uncommitted WIP: almost all image assets in gtk-3.20 are unmodified copies of those in gtk-3.0, the on-disk size of the theme can be greatly reduced by replacing them with symlinks. If you want this as well, which direction should the symlinks go?
I looked into darkmint as well, but that's a longer story.
While you were gone, I took over. There's not many changes since what you already merged, but it'd be nice if you could pull in everything. Because of git history reasons, doing this as a merge would be preferred. You could then massage the LICENSE file further.
The remaining fixes get rid of a spam of warnings in the version of GTK Ubuntu 18.04 ships. Positive lines convert the removed syntax to what the docs say is a replacement, but as far as I know they're redundant with defaults/inherits already.
I also have some uncommitted WIP: almost all image assets in gtk-3.20 are unmodified copies of those in gtk-3.0, the on-disk size of the theme can be greatly reduced by replacing them with symlinks. If you want this as well, which direction should the symlinks go?
I looked into darkmint as well, but that's a longer story.