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