No, GTK3 looks like this[1] these days[2], these screenshots use an ancient version.

[1] - http://i.imgur.com/0eLhrAM.png

[2] - https://raw.githubusercontent.com/chergert/gnome-builder-web...