What do you mean by missing proxy settings? Onion icon -> Settings -> Network I see the same proxy settings that have always been there. Nobody is getting paid to develop Vidalia, so it is extremely unlikely anything will change about it... until they remove it completely and integrate its features into TorBrowser