Right now, widgets are completely removed when they get backspaced. This isn't desired behavior for several types of widgets.
Consider for example a widget that turns a var a = 3; statement into a §a = 3; statement (see Experiments in Code Typography)
Pressing backspace while beside the § shouldn't remove it, it should remove the last character that was part of the widget ...§a = 3;->vara = 3;
There are some cases where this is desirable behavior. So this should probably be implemented as an option for widgets.
Right now, widgets are completely removed when they get backspaced. This isn't desired behavior for several types of widgets.
Consider for example a widget that turns a
var a = 3;statement into a§a = 3;statement (see Experiments in Code Typography)Pressing backspace while beside the § shouldn't remove it, it should remove the last character that was part of the widget
...§a = 3;->vara = 3;There are some cases where this is desirable behavior. So this should probably be implemented as an option for widgets.