GEdit stuff to make it play nicer w/ shell extension dev.