diff --git a/docs/img/options_messages.png b/docs/img/options_messages.png
index d7cb2fcc..247ec73c 100644
Binary files a/docs/img/options_messages.png and b/docs/img/options_messages.png differ
diff --git a/docs/widgets_messages.md b/docs/widgets_messages.md
index 34b6d5ef..970c3138 100644
--- a/docs/widgets_messages.md
+++ b/docs/widgets_messages.md
@@ -10,9 +10,9 @@ The widget displays a stream of information about the current file or about the
 The messages can be filtered according to their context:
 
 - __All__: no filter.
-- __Editor__: filter the messages related to the editor that has the focus (compilation, standard output of the module when executed as a [_runnable_](features_runnables)).
-- __Project__: filter the messages related to the current project (DMD or DUB messages, pre/post compilation process output, project execution).
-- __Application__: filter the messages emitted by CE (applications warnings, application exceptions).
+- __Editor__: filters the messages related to the editor that has the focus (compilation, standard output of the module when executed as a [_runnable_](features_runnables)).
+- __Project__: filters the messages related to the current project (DMD or DUB messages, pre/post compilation process output, project execution).
+- __Application__: filters the messages emitted by CE (applications warnings, application exceptions).
 - __Misc__: miscellaneous messages (messages emitted by the widgets, by the custom tools when their output is redirected, [find all](widgets_search) results, etc). 
 
 ![](img/messages1.png)
@@ -32,10 +32,11 @@ This value and several other options can be changed in the options.
 
 ![](img/options_messages.png)
 
-- **autoSelect**: defines if the widget change dynamically the message categories.
+- ***autoDemangle*: Automatically filter the new messages with [ddemangle](https://github.com/dlang/tools#d-tools). Note that Coedit uses the tool as a daemon so it's perfectly normal that it remains in the task list when the IDE runs.
+- **autoSelect**: Defines if the widget change dynamically the message categories.
 This is a recommended setting because if a run-time error happens, it will be immediately displayed.
-- **colors**: allows to associate a message kind to a particular color.
-- **fast display**: if set, the new messages are displayed fast but by block. When not set the same amount of message takes longer to be displayed but the operation is smoother.
-- **font**: options for the font used in this widget: the size, the family, etc.
-- **maxMessageCount**: allows to limit the maximum number of messages kept in the list.
-- **singleMessageClick**: allows to open the file that the message parser has found by a single click.
\ No newline at end of file
+- **colors**: Allows to associate a message kind to a particular color.
+- **fast display**: If set, the new messages are displayed fast but by block. When not set the same amount of message takes longer to be displayed but the operation is smoother.
+- **font**: Options for the font used in this widget: the size, the family, etc.
+- **maxMessageCount**: Allows to limit the maximum number of messages kept in the list.
+- **singleMessageClick**: Allows to open the file that the message parser has found by a single click.
\ No newline at end of file