doc, defunct wiki link

This commit is contained in:
Basile Burg 2017-01-20 13:15:37 +01:00
parent fbb875c42f
commit cd1a929936
No known key found for this signature in database
GPG Key ID: 1868039F415CB8CF
1 changed files with 6 additions and 2 deletions

View File

@ -2,7 +2,9 @@
title: Widgets - messages title: Widgets - messages
--- ---
## Messages ### Messages
#### Description
The widget displays a stream of information about the current file or about the current project. The widget displays a stream of information about the current file or about the current project.
The messages can be filtered according to their context: The messages can be filtered according to their context:
@ -24,7 +26,9 @@ The messages emitted by the custom tools may also be clickable if they follow a
The context menu contains a few useful actions, such as *copy messages*, *save message(s) to file*. The context menu contains a few useful actions, such as *copy messages*, *save message(s) to file*.
By default only the last 500 messages are displayed, regardless of the categories. By default only the last 500 messages are displayed, regardless of the categories.
This value and several other options can be changed in the [options editor][widgets_options]: This value and several other options can be changed in the options.
#### Options
![](img/options_messages.png) ![](img/options_messages.png)