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

Improve ordering of entries in Edit REPL Commands window #2622

Closed
imrekoszo opened this issue Dec 3, 2021 · 0 comments
Closed

Improve ordering of entries in Edit REPL Commands window #2622

imrekoszo opened this issue Dec 3, 2021 · 0 comments
Labels
changed Marks issues describing changes to existing features released Marks issues which have had the fixes released in a stable build
Milestone

Comments

@imrekoszo
Copy link

At present, this window lists repl commands in the order they were added (which appears to match the order they are in the xml file where they are stored). It is not currently possible to reorder entries in this view.

This is not very user-friendly when one has many repl commands defined. It isn't possible to find a command or make related commands appear close together using the tool window.

Repl commands are an extremely awesome feature and being able to better organize them would make them even better.

Related: #1415

@cursive-ide cursive-ide added this to the 1.12.8 milestone Feb 2, 2023
@cursive-ide cursive-ide modified the milestones: 1.12.8, 1.12.8-eap1 Feb 3, 2023
@cursive-ide cursive-ide added the changed Marks issues describing changes to existing features label Feb 3, 2023
@cursive-ide cursive-ide added the released Marks issues which have had the fixes released in a stable build label Oct 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
changed Marks issues describing changes to existing features released Marks issues which have had the fixes released in a stable build
Projects
None yet
Development

No branches or pull requests

2 participants