comparison .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
comparison
equal deleted inserted replaced
31084:037c1e768b56 31086:d5696a4efa84