Avoid duplicating editors too often.
It was duplicating editors even if an editor for a document was already
available in the view, if that editor wasn't currently on top.
Task-number: QTCREATORBUG-11395
Change-Id: I89a2d5ef0285d8aa34642567fbf122a98e87e75e
Reviewed-by:
Eike Ziller <eike.ziller@digia.com>
Showing
- src/plugins/coreplugin/editormanager/editormanager.cpp 33 additions, 29 deletionssrc/plugins/coreplugin/editormanager/editormanager.cpp
- src/plugins/coreplugin/editormanager/editorview.cpp 8 additions, 0 deletionssrc/plugins/coreplugin/editormanager/editorview.cpp
- src/plugins/coreplugin/editormanager/editorview.h 1 addition, 0 deletionssrc/plugins/coreplugin/editormanager/editorview.h
Loading
Please register or sign in to comment