Raw preference values
This configuration section contains raw configuration values for which no dedicated configuration section exists. The values can be changed by double-clicking on them or use the edit button. An asterisk indicate non-default values which can be reset by using the "return to default" button. Boolean variables can be directly toggled by double-clicking on them. Integer and string values can be edited.Available entries:
- search.enable_pattern_history: This variable controls if a history is stored for search parameters.