JetBrains / JetBrains/MPS-extensions

`editor.pagination` dsl improvements

Open
#669 1 comment 1 reaction 0 assignees View on GitHub
enhancement
Dominant language
JetBrains MPS
Stars
88
Forks
60
Avg merge
1d 3h
Merged PRs (30d)
15

Description

I report here a list of improvements required by users of the language:
- [x] add a devkit for the pagination language that includes the runtime;
- building without including the runtime in the dependencies at the moment causes errors;
- [x] we would like to not see the pages if there is only 1 page, we would like to show only the collection of nodes;
- [x] 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

Contributor guide

Open the contributing guide

Research direction

Start by reviewing the two unchecked items: find-usages navigation and diff-view highlighting for changes outside the visible page. Investigate whether JetBrains provides the needed navigation API and define the expected behavior for each case; the work is done when both pagination behaviors are implemented and verified.

Written by the indexing model from the issue text.

Assessment

Domain
devtools
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.