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

"Clear REPL" before executing a REPL command #1459

Closed
mtruyens opened this issue Jul 13, 2016 · 0 comments
Closed

"Clear REPL" before executing a REPL command #1459

mtruyens opened this issue Jul 13, 2016 · 0 comments
Labels
new Marks issues describing new features released Marks issues which have had the fixes released in a stable build
Milestone
1.12.8-eap1

Comments

@mtruyens
Copy link

It would be great to have a "Clear REPL" option in the "Before executing" listbox of the Create New REPL command.
@cursive-ide cursive-ide added this to the 1.12.8 milestone Jan 27, 2023
@cursive-ide cursive-ide modified the milestones: 1.12.8, 1.12.8-eap1 Feb 3, 2023
@cursive-ide cursive-ide added changed Marks issues describing changes to existing features new Marks issues describing new features and removed changed Marks issues describing changes to existing features labels 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
Assignees
No one assigned
Labels
new Marks issues describing new features released Marks issues which have had the fixes released in a stable build
Projects
None yet
Milestone
1.12.8-eap1
Development

No branches or pull requests
2 participants
@mtruyens @cursive-ide