view .gitattributes @ 31086:d5696a4efa84

exp cmd widget: fix preventing prompt deletion * command-widget.cc (cursor_position_changed): store current position in correct variable, add last char of prompt if deleted this by backspace
author Torsten Lilge <ttl-octave@mailbox.org>
date Fri, 10 Jun 2022 18:02:21 +0200
parents c6f9ff84dc84
children
line wrap: on
line source

# line endings in repository match line endings on disc
* -text