https://dokuwiki.grogra.de/ 2026-05-16T08:27:54+00:00 https://dokuwiki.grogra.de/ https://dokuwiki.grogra.de/lib/exe/fetch.php?media=wiki:dokuwiki.svg text/html 2025-07-04T10:29:53+00:00 Anonymous (anonymous@undisclosed.example.com) https://dokuwiki.grogra.de/doku.php?id=01_user_documentation:03_interacting_with_groimp:03_configuring:03_options:01_global_local&rev=1751624993&do=diff 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. text/html 2025-12-12T14:08:09+00:00 Anonymous (anonymous@undisclosed.example.com) https://dokuwiki.grogra.de/doku.php?id=01_user_documentation:03_interacting_with_groimp:03_configuring:03_options:02_changing&rev=1765548489&do=diff Setting options To set the options either use: * The GUI ( panel preferences) * A project file * A cmd option text/html 2025-12-10T14:01:42+00:00 Anonymous (anonymous@undisclosed.example.com) https://dokuwiki.grogra.de/doku.php?id=01_user_documentation:03_interacting_with_groimp:03_configuring:03_options:03_all&rev=1765375302&do=diff All options [AG] This section present the exhaustive list of available options from the GroIMP registry. This section is automatically generated. autocompletors Path Type Default value Description /codehighlight/appearance/javaallsamejava.lang.Boolean