cursive icon indicating copy to clipboard operation
cursive copied to clipboard

Published 20 hours ago • verified publisher icon cursive-ide

Restore command line folding for REPL

Open cursive-ide opened this issue 8 months ago • 0 comments

Similar to #2911, after the console update the command line is not being folded.

cursive-ide avatar Jun 05 '24 22:06 cursive-ide