"sorted list of open documents' widgets takes me to the wrong document?
René J.V. Bertin
rjvbertin at gmail.com
Sun Nov 20 14:30:42 GMT 2016
With some regularity I get a glitch where selecting a document in the dropdown menu under the "Sorted list of open documents" button takes me to another document than the requested, or else the window title doesn't change.
I don't think this has happened to me yet on Linux, only on Mac.
Does this observation ring any bells?
More information about the KDevelop