Sorry for the delay. The problem still exists under 19.10 desktop, but does not occur quite as often. However, it is slightly harder to escape from... I either need to wait 20+ seconds uselessly pressing keys I will have to subsequently delete, or tab to another command prompt, type something in easily, then return to the "stuck" prompt.
My comment is only to bring the bug report up to date and keep it open. We are only a few weeks from the 20.04 release, where this bug will be much more important if still present.
Sorry for the delay. The problem still exists under 19.10 desktop, but does not occur quite as often. However, it is slightly harder to escape from... I either need to wait 20+ seconds uselessly pressing keys I will have to subsequently delete, or tab to another command prompt, type something in easily, then return to the "stuck" prompt.
My comment is only to bring the bug report up to date and keep it open. We are only a few weeks from the 20.04 release, where this bug will be much more important if still present.