update doc

This commit is contained in:
Basile Burg 2019-01-20 14:12:54 +01:00
parent 70d1ce48bd
commit a0e24a4810
2 changed files with 2 additions and 1 deletions

View File

@ -69,8 +69,8 @@ _Description of each widget._
* [About box](widgets_about)
* [DFMT commander](widgets_dfmt_commander)
* [DEXED project editor](widgets_dexed_project_editor)
* [DUB project editor](widgets_dub_project_editor)
* [CE project editor](widgets_ce_project_editor)
* [Custom tools](widgets_custom_tools)
* [Editor](widgets_editor)
* [GDB commander](widgets_gdb_commander)

View File

@ -42,6 +42,7 @@ When dependencies are complex, it's possible to select all the entries by settin
It's recommended to use the [project inspector](widgets_project_inspector) instead of this archaic editor. To include a folder of source it's also possible to specify a path with a asterisk in the **Paths** options, **ExtraSources** editor.
This avoids to manually remove the obsolete source or to manually add the new source files.
- **version**: Defines a string used to expand the [_CPV_ symbolic string](features_symbolic_strings).
- **versionFile**: Defines the name of a file that contains the **version** text. This property has for effect to replace the existing **version**. The filename can be relative to the project root or absolute.
#### Message options