[Eric] [eric6] small glitch with fix and some notes

[Hans-Peter Jansen]

Am Donnerstag, 28. November 2019, 19:27:51 CET schrieb Detlev Offenbach:
> Hi Pete,
> 
> thanks for the patch. I just added it. It will be part of the next release
> scheduled for next Sunday (Dec, 1st).

Nice.

> With regard to the tab switching shortcut, which PyQt/Qt version are you
> using? I noticed that some focus related issues appeared after I switched to
> PyQt/Qt 5.13.1. When I switched back to 5.13.0 they were gone again. I
> looked at the code (E5TabWidget.py) and the code to pass focus to the new
> 'current' widget is there.

BTW: there's another focus related issue: when editing some files, I often 
select parts with Ctrl-Shift cursor keys and cut/copy the selection (Ctrl-
{X,C}. I noticed, that it doesn't perform the cut/copy operation *sometimes*. 
The right click context menu shows most items disabled, then. Two Alt-TAB 
shortcuts later, all is set again. (But again, rather inconvenient).

Yes, I'm on Qt 5.13.1, but unlike documented in my last mail, using qscintilla 
2.11.3 meanwhile. 

Dear @audience, would you test these ill-behaviors and report, please?

> I have the strong impression, that this is a Qt issue.

Yeah, smells like that. Unfortunately, without a minimal example, it's rather 
pointless to report such issues (even with code, it's a matter of luck to find 
somebody who cares).

Will start with a report to openSUSE Factory.

Thanks,
Pete