search

gufoe / text-translator

extension for gnome-shell
https://extensions.gnome.org/extension/593/text-translator/
58 stars 28 forks source link

Proxy #3

Closed cclienti closed 8 years ago

cclienti commented 8 years ago

Hello,

I wonder if there is a possibility to support the general proxy settings of gnome. These information can be forwarded to translate-shell (for the google provider).

Translate shell Networking options: -x HOST:PORT, -proxy HOST:PORT Use HTTP proxy on given port.

I think we can add the proxy option in google_translation_provider.js around line 300.

gufoe commented 8 years ago

This patch should detect and use the http proxy, please let me know if it works!

cclienti commented 8 years ago

Many thanks, it works :)

gufoe commented 8 years ago

You're welcome, I'm going to update the extension then :)