Inter-Modules AutoCompletion

[grabiller]

Using 'UseModule xxxx' in the DeclareModule section of a module but not in the Module section of that module poses no problem for the compiler.

However, doing so, auto-completion does not work when typing in the Module section.

In order for auto-completion to work in both sections, we have to write 'UseModule xxxx' both in the DeclareModule section and in the Module section of a module.

For consistency, shouldn't auto-completion behave like the compiler and recognize the use of 'UseModule xxxx' from the DeclareModule section even if we are typing in the Module section ?

Or should we consider this is 'by design' and we should write 'UseModule xxxx' twice, both in the DeclareModule and in the Module sections of a module, even if it is not needed by the compiler ?