01_user_documentation:03_interacting_with_groimp:03_configuring:03_options:01_global_local
Global and local options
By default, preferences are applied globally, meaning all workbenches share the same settings. However, this behavior can be overridden by creating an option file specific to a workbench, allowing that project to use its own set of preferences instead of the global ones.
01_user_documentation/03_interacting_with_groimp/03_configuring/03_options/01_global_local.txt · Last modified: 2025/07/04 12:29 by gaetan
