diff options
| author | Arun Isaac | 2022-06-12 23:48:15 +0530 |
|---|---|---|
| committer | Arun Isaac | 2022-06-12 23:51:50 +0530 |
| commit | dc546ddc7865d910b8e90f5f79585da72bdbd7d1 (patch) | |
| tree | 4474628f680915f4acbf5be94840454761b4e7cb /COPYING | |
| parent | 27660c79ba7df243be33121782f39e381f0dcc34 (diff) | |
| download | thogai-dc546ddc7865d910b8e90f5f79585da72bdbd7d1.tar.gz thogai-dc546ddc7865d910b8e90f5f79585da72bdbd7d1.tar.lz thogai-dc546ddc7865d910b8e90f5f79585da72bdbd7d1.zip | |
When undoing, delete space only if there is a space.
Attached and glued strokes don't emit spaces. So, we cannot mindlessly
delete the last character without checking if it is a space.
* thogai.el (thogai-insert-stroke): When undoing, delete space only if
there actually is a space.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions