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 12:57] – gaetan | user-guide:panel_options [2024/07/05 16:56] (current) – gaetan | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== | + | ====== |
- | Some panel options can be configured | + | In GroIMP the preferences (from java preferences) are the software |
+ | Most GroIMP options are managed by the Preference panel, which can be open from the menu at '' | ||
- | {{: | + | See more: |
+ | * [[: | ||
+ | * [[: | ||
+ | * [[: | ||
+ | * [[: | ||
+ | * [[: | ||
+ | * [[: | ||
+ | ===== Global options ===== | ||
+ | Usually when a user change the options of GroIMP, he changes the global options. These options are stored when set in the java preferences (in '' | ||
+ | |||
+ | Global options are used by every workbenches that do not include an option file. | ||
+ | |||
+ | The panel of global options can be open if the currently used workbench do not have an option file. In that case, when the preference panel is open (with '' | ||
{{: | {{: | ||
+ | |||
+ | //Image 1: Global preference panel// | ||
+ | |||
+ | ===== Workbench options ===== | ||
+ | |||
+ | GroIMP also support options specific for a given workbench (since version 2.1.4). The option file (called " | ||
+ | |||
+ | When the option file exists in a project, GroIMP will use its options instead of the global ones. If an option file contains more options than the current instance of GroIMP, these options are kept but not use. If the option miss some options that the current instance of GroIMP defined, these options are added to the option file when saved. | ||
+ | |||
+ | The option file can be added in a workbench from the preference panel ('' | ||
+ | |||
+ | {{: | ||
+ | |||
+ | //Image 2: menu options// | ||
+ | |||
+ | 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**). | ||
+ | |||
+ | |||
+ | {{: | ||
+ | |||
+ | //Image 3: workbench option panel// | ||
+ | |||
+ | When a option file is created and added to the project it is automatically setup with all the existing current global options. | ||
+ | When modifying workbench options, the options new value is directly updated, however the option file **is not** automatically updated. To push the modification to the option file the project needs to be saved. | ||
+ | |||
+ | To stop using the option file of a workbench, it can be deleted from the menu option (see Image 2): '' | ||
+ | |||
+ | The file can be modified outside of GroIMP as plain text. | ||
+ | To add an option file in a project outside of GroIMP, the file needs to be added **and** the registry item // | ||
| | ||
- | === Options for the Swing User Interface === | + | ===== Options for the Swing User Interface |
The group UI Toolkit/ | The group UI Toolkit/ | ||
Line 16: | Line 58: | ||
If you switch to another Look & Feel in the Preferences panel, the user interface will be redrawn immediately. However, changing the window decorations option only takes effect when a new window is opened. Also, there are Look & Feels which do not support window decorations. | If you switch to another Look & Feel in the Preferences panel, the user interface will be redrawn immediately. However, changing the window decorations option only takes effect when a new window is opened. Also, there are Look & Feels which do not support window decorations. | ||
+ | |||
+ | See more: | ||
+ | * [[https:// | ||
user-guide/panel_options.1720177054.txt.gz · Last modified: 2024/07/05 12:57 by gaetan