diff --git a/docs/features_projects.md b/docs/features_projects.md index 084307ed..cb645664 100644 --- a/docs/features_projects.md +++ b/docs/features_projects.md @@ -32,7 +32,7 @@ The widget used to edit the properties is the [CE project editor](widgets_ce_pro - **"Close project"**: Closes the current project. A warning may be displayed if the current project is yet not saved. - **"Save project"**: Saves the current project. - **"Save project as"**: Saves the current project from a dialog. -- **"Add project to group": Adds this project to the project group. See also the page dedicated to the [project groups](widgets_project_groups) +- **"Add project to group"**: Adds this project to the project group. See also the page dedicated to the [project groups](widgets_project_groups). - **"Project editor"**: Displays widget used to edit the project properties,in respect with the format (CE or DUB). - **"Edit project file"**: Opens the project file in a new source editor. When saved from a source editor, a project file is directly reloaded. - **"View project command line"**: Displays the list of switches and arguments, as they would be passed to the compiler (or the build tool) when compiling. diff --git a/docs/index.md b/docs/index.md index 94fd2b71..fe102b8b 100644 --- a/docs/index.md +++ b/docs/index.md @@ -30,7 +30,7 @@ title: index * [Messages](widgets_messages) * [Options editor](widgets_options_editor) * [Project groups](widgets_project_groups) -* [Process input](widgets_process_input) * [Project inspector](widgets_project_inspector) +* [Process input](widgets_process_input) * [Search](widgets_search) * [Symbol list](widgets_symbol_list) diff --git a/docs/widgets_project_inspector.md b/docs/widgets_project_inspector.md new file mode 100644 index 00000000..b891a2d0 --- /dev/null +++ b/docs/widgets_project_inspector.md @@ -0,0 +1,3 @@ +--- +title: Widgets - project inspector +---