New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Selectable text #659

Open

1 task done

albe-jj opened this issue Sep 2, 2024 · 1 comment

Labels

albe-jj commented Sep 2, 2024

Should this be an RFC?

This is not a substantial change

Description

It seems that the html text is not selectable. It should be possible to use a SelectableText widget instead.

Alternatives and Workarounds

No response

albe-jj added the enhancement label

Member

andycall commented Sep 3, 2024 •

edited

Loading

Good question, Let me checked it out how to support this feature.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment