I have tried to write a patch, but I can't find the path to the current icon theme. Using
$ /usr/share/icons/`gconftool-2 -g /desktop/gnome/interface/icon_theme`
is no good, because the Ubuntu's default theme ubuntu-mono-dark contains only a handful of icons, while the rest are pulled from the Humanity icon theme. A quick google search didn't turn up anything useful on how to locate the actual icon in use.
So far, I only managed to change the hardcoded paths to use the Humanity icons - but that's just a workaround. A diff is attached.
I have tried to write a patch, but I can't find the path to the current icon theme. Using icons/` gconftool- 2 -g /desktop/ gnome/interface /icon_theme`
$ /usr/share/
is no good, because the Ubuntu's default theme ubuntu-mono-dark contains only a handful of icons, while the rest are pulled from the Humanity icon theme. A quick google search didn't turn up anything useful on how to locate the actual icon in use.
So far, I only managed to change the hardcoded paths to use the Humanity icons - but that's just a workaround. A diff is attached.