From 3be4860c28b950a1405ddad89257860ef8038f26 Mon Sep 17 00:00:00 2001 From: Basile Burg Date: Fri, 27 Jan 2017 08:53:17 +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 47f56990..52fa27e7 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 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. +- **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.