Workbench Preferences

Parent Previous Next


Preferences


Within the Workbench Preferences, users can customize the behavior and properties for Pragmatic Workbench:


  Appearance

o   Theme Name: Controls the theme used for Workbench colors

  Behavior

o   Selected Products: Controls the products to filter by when starting Pragmatic Workbench

o   Selected Roles: Controls the roles to filter by when starting Pragmatic Workbench

o   Selected Technologies: Controls the technologies to filter by when starting Pragmatic Workbench

o   Show Feature Finder: Controls whether to show or hide the Feature Finder tool in the features list

o   Show Pragmatic Works News: Controls whether to show or hide the Pragmatic Works latest news and messages. The latest product features, discounts, and tips will be shown here

o   Start-up Plug-in: Controls the plug-in that will be loaded when Workbench first starts

o   Error Reporting: Controls whether to send anonymous error reporting information to Pragmatic Works

o   Usage Reporting: Controls whether to periodically send anonymous feature usage reporting to Pragmatic Works