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

Make jump to code a standard event #399

Open
helin24 opened this issue May 30, 2023 · 0 comments
Open

Make jump to code a standard event #399

helin24 opened this issue May 30, 2023 · 0 comments
Labels
feature-request Request for new features or functionality

Comments

@helin24
Copy link

helin24 commented May 30, 2023

Within the Dart extension, we use a custom event to indicate to the IDE client that we would like to jump to a specific spot in code. Our current use case for this is allowing developers to run a mobile application and click on an element in the application to move to the code that corresponds to the UI element (see https://github.com/Dart-Code/Dart-Code/blob/master/src/extension/commands/debug.ts#L559 and https://github.com/Dart-Code/Dart-Code/blob/master/src/extension/commands/edit.ts#L21). We could also see this type of event being helpful for performance tooling where data could be associated with a point in code.

interface CodePointerEvent extends Event {
  event: 'codePointer';

  body: {
    /** The file requested. */
    uri: string;

    /** The line requested. */
    line: number;

    /** The column requested, optionally. */
    column?: number;
  };
}
@roblourens roblourens added the feature-request Request for new features or functionality label Jun 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature-request Request for new features or functionality
Projects
None yet
Development

No branches or pull requests

2 participants