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

editor.pagination dsl improvements #669

Open
3 of 5 tasks
alamqadem opened this issue Oct 16, 2023 · 1 comment
Open
3 of 5 tasks

editor.pagination dsl improvements #669

alamqadem opened this issue Oct 16, 2023 · 1 comment

Comments

@alamqadem
Copy link
Collaborator

alamqadem commented Oct 16, 2023

I report here a list of improvements required by users of the language:

  • add a devkit for the pagination language that includes the runtime;
    • building without including the runtime in the dependencies at the moment causes errors;
  • we would like to not see the pages if there is only 1 page, we would like to show only the collection of nodes;
  • we would like to specify the page that we want to see instead of only using next and previous;
  • pressing in the find usages on a reference doesn't change the page to display the target
    • here we might need support from jetbrains for an API that allows to customise navigation to a target
  • in the diff view: if a change is not on the visible page the whole node is highlighted, here we would like to find a solution, as we want to do for errors
@HeikoBecker
Copy link
Collaborator

Minor usability improvement: I would also appreciate if the languages and runtimes were clustered into a devkit.

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

No branches or pull requests

2 participants