lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard
verified publisher icon Deducteam

Wrong behavior of emacs interface

Open fblanqui opened this issue 2 years ago • 0 comments

When we insert some text in the green zone, the green zone is not reduced. The behavior is perhaps the same in VSCode (not checked).

fblanqui avatar Feb 02 '24 14:02 fblanqui