slavapestov/factor — pull request #442 by Blei (2011-12-06 08:08:24+00:00)
Title: ui.backend.gtk: don't die if the icon doesn't exist, partially fixes #369

Totally forgot to make a pull-request for this...