[gtk2] options rename