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.

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

feature: clickable links in lua content editor #77

Open
pq opened this issue May 22, 2018 · 0 comments
Open

feature: clickable links in lua content editor #77

pq opened this issue May 22, 2018 · 0 comments
Labels
enhancement New feature or request

Comments

@pq
Copy link
Collaborator

pq commented May 22, 2018

hyperlinks in the editor could provide:

  • navigation to docs
  • navigation to source (declarations)
  • (and potentially perform) actions

the plumbing for this is handled by the ext-linking ace extension but would require tokenizing to happen in a custom editor mode.
@pq pq added the enhancement New feature or request label May 22, 2018
@pq pq mentioned this issue May 22, 2018
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@pq