Gitpod: Annoying text at the top of the editor

[Kreyren]

Describe the bug

Steps to reproduce

1. Select random thing
2. Press CTRL+D
3. Withness the annoyance

Expected behavior

Don't output annoying text unless in debug mode?

[AlexTugarev]

I've seen this in Theia, too. Unfortunately, I couldn't reproduce.

The issue, or the thing you see there is a ARIA container added by monaco editor, which isn't supported in Theia, thus styles are missing.

@Kreyren, CTRL+D with FF on Windows, or how do you reproduce it?

[Kreyren]

@AlexTugarev for some reason using CTRL+A and CTRL+D on this code causes it, (i was unable to reproduce it selecting specific codeblocks):

https://gist.githubusercontent.com/Kreyren/a56d474db8f5e19e2b93baf50fcb5ca9/raw/b7e5c376ce4c7ab30f030b4a6eff280006ea4831/sdgsdagasd

---

I was unable to make a snapshot (fails to create it).. So i am providing workspace UUID ebaab2db-ce22-4ae3-a71b-e301ce51736f at least.

FWIW the file was set to have 'Shell Script' highlighting

[AlexTugarev]

💯x thanks!

That's the repro, finally!

ctrlcmd+a –> ctrlcmd+d

@akosyakov, do you know about this "feature"?

[stale[bot]]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.