From 1fbac4f5c6a59b4d0a0f3c4d80e2b50959b31fb4 Mon Sep 17 00:00:00 2001 From: Basile Burg Date: Fri, 27 Jan 2017 08:52:09 +0100 Subject: [PATCH] doc --- docs/widgets_messages.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/widgets_messages.md b/docs/widgets_messages.md index 970c3138..47f56990 100644 --- a/docs/widgets_messages.md +++ b/docs/widgets_messages.md @@ -32,7 +32,7 @@ This value and several other options can be changed in the options. ![](img/options_messages.png) -- ***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. +- ***autoDemangle**: Automatically filters 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.