user-guide:panel_options
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
user-guide:panel_options [2024/07/05 16:49] – gaetan | user-guide:panel_options [2024/07/05 16:56] (current) – gaetan | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== | + | ====== |
In GroIMP the preferences (from java preferences) are the software options. | In GroIMP the preferences (from java preferences) are the software options. | ||
Line 10: | Line 10: | ||
* [[: | * [[: | ||
* [[: | * [[: | ||
+ | * [[: | ||
===== Global options ===== | ===== Global options ===== | ||
Line 32: | Line 32: | ||
The option file can be added in a workbench from the preference panel ('' | The option file can be added in a workbench from the preference panel ('' | ||
- | {{: | + | {{: |
//Image 2: menu options// | //Image 2: menu options// | ||
- | Once added, the view of the preference panel will change into the workbench option view (see Image 3). In that view the name of the workbench whose options are managed is displayed in the red circle **1**. On the bottom right a button to open the global options is available (see the red circle **2**). | + | Once the option file is added, the view of the preference panel will change into the workbench option view (see Image 3). In that view the name of the workbench whose options are managed is displayed in the red circle **1**. On the bottom right a button to open the global options is available (see the red circle **2**). |
user-guide/panel_options.1720190969.txt.gz · Last modified: 2024/07/05 16:49 by gaetan