From a0e24a4810b9d1f7331b873f2365e7187aea872d Mon Sep 17 00:00:00 2001 From: Basile Burg Date: Sun, 20 Jan 2019 14:12:54 +0100 Subject: [PATCH] update doc --- docs/index.md | 2 +- docs/widgets_dexed_project_editor.md | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/index.md b/docs/index.md index e5ce9aa3..eb47776f 100644 --- a/docs/index.md +++ b/docs/index.md @@ -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) diff --git a/docs/widgets_dexed_project_editor.md b/docs/widgets_dexed_project_editor.md index 5e934e9e..fa9e1c27 100644 --- a/docs/widgets_dexed_project_editor.md +++ b/docs/widgets_dexed_project_editor.md @@ -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