All Questions
Tagged with configuration system
2 questions
7
votes
1
answer
1k
views
How to change proxy settings programmatically?
I'm using version 10.2 on Linux, and need to access some web services via proxy server sometimes. Is there a way to change the proxy settings, which can be modified manually in the "Preferences" AFAIK,...
- 73
2
votes
1
answer
279
views
Creating a keyboard shortcut to change the Style of text [duplicate]
I'm editing a very long text in a Mathematica notebook and I'm using the "Article" stylesheet. In this text, code is highlighted using
...
- 2,403