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

The browser should show line numbers in the left-hand column #582

Closed
rickmcgeer opened this issue Dec 11, 2022 · 1 comment
Closed

The browser should show line numbers in the left-hand column #582

rickmcgeer opened this issue Dec 11, 2022 · 1 comment
Labels
🖨️ duplicate This issue or pull request already exists

Comments

@rickmcgeer
Copy link
Collaborator

Many editors do this (see VSCode, for example), and it's particularly important when the browser error messages reference line numbers! This has always been an issue with lively, going back (at least!) to the LivelyWeb, and I don't know why this hasn't been done. Even for editors that don't have line numbers (e.g., Sublime) there's a menu with the shortcut for Goto Line indicated (this is a little-appreciated feature of menus; they are a quick guide to keyboard shortcuts)

@merryman merryman added the 🖨️ duplicate This issue or pull request already exists label Dec 12, 2022
@merryman
Copy link
Member

This was already requested (and planned) in #42 or #152 and summarised in #378. We do not need another ticket for this I guess. Will close this now.

@merryman merryman closed this as not planned Won't fix, can't repro, duplicate, stale Dec 12, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🖨️ duplicate This issue or pull request already exists
Projects
None yet
Development

No branches or pull requests

2 participants