✨ Scroll to range #71

New issue

Copy link

New issue

Copy link

Closed

Feature

#70

Closed

✨ Scroll to range#71

Feature

#70

Copy link

Assignees

Labels

enhancementNew feature or requestNew feature or request

Description

tom-ludwig

opened on Feb 27, 2025

Issue body actions

Description

There should be a function that allows developers to scroll to a specified range.

Alternatives Considered

No response

Additional Context

No response

Screenshots

No response

Reactions are currently unavailable

Activity

1. tom-ludwig

   added

   enhancementNew feature or requestNew feature or request

   on Feb 27, 2025
2. tom-ludwig

   self-assigned this

   on Feb 27, 2025
3. tom-ludwig

   added the

   Feature

   issue type on Feb 27, 2025
4. austincondiff

   added this to CodeEdit Projecton Feb 27, 2025
5. github-project-automation

   moved this to 🆕 New in CodeEdit Projecton Feb 27, 2025
6. thecoolwinter

   closed this as completedin #70on Mar 1, 2025
7. github-project-automation

   moved this from 🆕 New to 🏁 Complete in CodeEdit Projecton Mar 1, 2025

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

Metadata

Metadata

Assignees

• 
  tom-ludwig

Labels

enhancementNew feature or requestNew feature or request

Type

Feature

Projects

• CodeEdit Project

  Status

  🏁 Complete

  Show more project fields

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions

• Open in GitHub Copilot app