dseebacher/Gnome3_AppMenuEditor — comment on commit 3b2e52f3ab97e977ed9378c2ddd333e2a2ec5715
File:  line 0
By efruchter:

The GUI actually looks decent now, excellent addition!