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

UX : Browser strange toggle buttons #17827

Open

Nyan11 opened this issue Feb 14, 2025 · 0 comments

Labels

Type: Enhancement

Nyan11 commented Feb 14, 2025

In the bottom right there are 5 buttons:

Make them all look the same
Make them more explicit
By default turn on the line count

From: #17812 (comment)

Issue 1:

I agree that they should look the same and all have a checkbox

I would vote yes to turn the line count on by default but we need to ask other opinions also

Regarding the line numbering default, note there’s a setting ‘Show lines numbers for all browsers’ (though I haven’t checked whether it still works, I don’t use it myself but a colleague did, we fixed a bug that it had in Pharo 12: pull request #13664).

Nyan11 added the Type: Enhancement label

Nyan11 mentioned this issue

UX improvment #17812

Closed

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