GUI changes in miscellaneous tab of tools options dialog

Version: 2019

Type: Features

Category: Miscellaneous

Subcategory: Origin Workspace

Jira: ORG-18569

  1. Add Proxy Setting control.

  2. Move Bisection Search Points to Graph tab.

  3. Move Footnote Size Ratio to Text Fonts tab, and rename it to Footnote Size Ratio in Analysis Reports