[Qt-creator] [bug] OpenDocumentsFilter does not show all opened documents after session restore

[Christian Hönig]

Hi,

unfortunately this time I only have a detailed bug report but no patch to fix 
it. If this bug is already known discard this message ;-).

The problem is the following:

When restoring a saved session the EditorManager restores all previously 
opened documents ([editormanager.cpp:1629] and [1631]). 
Now the first document is restored using openEditor() [1629] which later 
creates an editor calling createEditor() [1080]. 
For all other documents only addRestoredEditor() [1631] is called which 
prepares the editor but does not really instantiate it.
So after the session is finally restored, there is only one real editor 
instantiated.

Now the OpenDocumentsFilter shows all editors it gets through
	m_editorManager->openedEditors() [opendocumentsfilter.cpp:80]
Tracing this down shows that 
	EditorModel::editors() [editorview.cpp:93] 
returns all editors with a valid editor only, so only the one editor is shown 
in the list, whose editor is already visible anyway.

Hope this report helps
take care, have fun
/christian