Skip to content

✨ Setting to toggle line number visibility #1020

Closed

Description

@ben-p-commits

Is your feature request related to a problem? Please describe.

This is the sibling issue to CETV's issue CodeEditApp/CodeEditTextView#115 (Option To Hide Line Numbers). Line numbers should be an option that can be toggled, just like in Xcode.

Describe the solution you'd like

Line numbers should have a "Show:" boolean preference just like they do in Xcode.

There should be an accompanying palette command as well.

Describe alternatives you've considered

N/A- maintainers have voiced support for this approach in discussion under... CodeEditApp/CodeEditTextView#115

Additional context

from Xcode

image

Activity

  1. ben-p-commits commented on Jan 23, 2023

    @ben-p-commits
    ContributorAuthor

    Adding this for posterity- I have implemented this change, and the supporting changes in CodeEditTextView are handled in CodeEditApp/CodeEditTextView#124.

    PR for CodeEdit is pending the next update to CETV.

  2. changed the title [-]✨ Add preference / palette command for hiding line numbers[/-] [+]✨ Add option for hiding line numbers[/+] on Feb 16, 2023
  3. changed the title [-]✨ Add option for hiding line numbers[/-] [+]✨ Add option for hiding line numbers to Settings and Command Palette[/+] on Feb 16, 2023
  4. changed the title [-]✨ Add option for hiding line numbers to Settings and Command Palette[/-] [+]✨ Setting to toggle line number visibility[/+] on Feb 16, 2023
  5. austincondiff commented on Feb 16, 2023

    @austincondiff
    Collaborator

    Update: PR #124 was closed and we are waiting on #127 until we can proceed.

  6. moved this from 🆕 New to 🚧 Blocked in CodeEdit Projecton Feb 16, 2023
  7. austincondiff commented on Apr 19, 2025

    @austincondiff
    Collaborator

    Now that we use our own text view, we will have to add a parameter for this in CodeEditSourceEditor.

  8. moved this from 🚧 Blocked to 📋 Todo in CodeEdit Projecton Apr 19, 2025
  9. moved this from 📋 Todo to 🏁 Complete in CodeEdit Projecton Jul 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions