Changes required for gtk3 upgrade
[app.Builder.js] / Options.js
2010-08-12 Alan Knowlessync