Gordian Edenhofer

Dash icons, consider an even more condensed layout beside the shrink option

8

Currently the dock takes quite a chunk of space from the bar where it is positioned. However most of it is consumed by gaps between the icons and not by...

weird menu button

1

The menu button in the top row looks like this:  However I guess it should like something like this: ![screenshot from 2015-02-21 15 57...

This is some of the output when running make install: valac --pkg gtk+-3.0 -X -lm gtk-theme-config.vala -o gtk-theme-config gtk-theme-config.vala:233.41-233.45: warning: Gtk.Stock has been deprecated since 3.10 gtk-theme-config.vala:234.41-234.45: warning: Gtk.Stock has...

### Project to be claimed `nifty`: https://pypi.org/project/nifty/ ### Your PyPI username `edenhofer`: https://pypi.org/user/edenhofer/ ### Reasons for the request I would like to request the transfer of the name `nifty` according...