Hi all,
I think is good idea to make the UI more clean and modern.
For this we need to port the images in the toolbar to symbol icons.
Also, in GNOME 3.10 the Stock items is drop [1], and UI with Stock is look outdated.
I attachad a patch and screenshot (with GTK+ 3.11.0, from git).
I missing some symbols: Choose a color, Build, Search & Replace, Compile, Save All, Reverte, Close All and Quit icons.
For Stock Icons I missing many places, but I started to work on this (it just search and replace).
[1] https://mail.gnome.org/archives/gtk-devel-list/2013-July/msg00000.html
Regards, Yosef Or Boczko
