Skip to content
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.

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

Deactivating "Show control elements" can also deactivate line numbers and chat #5

Open
tibroc opened this issue Oct 19, 2022 · 0 comments

Comments

@tibroc
Copy link

tibroc commented Oct 19, 2022

If you deactive "Show control elements", the next time you open the settings dialogue, "Show Chat" and "Show linenumbers" is also deactivated and can not be chosen again:

Screenshot from 2022-10-19 09-52-19

Even if you then select "Show control elements" again, you can choose from the control elements, but not "chat" or "linenumbers":

Screenshot from 2022-10-19 09-52-35

Also the greying out seems inconsistent in this dialogue.

If you then hit "save" chat and linenumbers get indeed deactivated:

Screenshot from 2022-10-19 09-53-47

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant