Hi Erel,
When a project is loaded, not all modules are directly available on top of the IDE, and this is OK for me.
But it would be interesting that the list in the upper right corner shows all modules like in the modules Tab, not only those currently visible.
I think that the list is just used to show the modules already opened but of which the tab with the relative name is not visible; if you want to open another code module, you should double-click its name in the "Module" Tab.