Hello,
I'm using the command line interface of BaseX 7.3.
I notice the cursor keys don't behave in the normal way - instead of moving the cursor around they print strange characters. Is there something wrong with my terminal configuration or is this a shortcoming of the software?