Skip to content
This repository was archived by the owner on Jun 12, 2025. It is now read-only.

(feature) Add hard backspace option#43

Open
HarryHighPants wants to merge 3 commits into
DrMerfy:masterfrom
HarryHighPants:feature/hard-backspace
Open

(feature) Add hard backspace option#43
HarryHighPants wants to merge 3 commits into
DrMerfy:masterfrom
HarryHighPants:feature/hard-backspace

Conversation

@HarryHighPants
Copy link
Copy Markdown

Problem:
When in insert mode some users would like to keep the spacing of the line untouched while backspacing characters.

Feature request issue:
#42

Proposed Solution:

  • Add a hard backspace option which replaces backspaced text with spaces
  • This option can be enabled in the extensions settings

Demo:

hard-backspace-demo

@jkyeung
Copy link
Copy Markdown

jkyeung commented Dec 11, 2024

Love the idea. Not so crazy about the name. To me, there's nothing "soft" about the regular Backspace, so "hard" makes no sense to me. If anything, the regular Backspace strikes me as the "harder" one.

So what name would I like instead? Good question. Off the top of my head, I don't have a good, self-documenting alternative that is concise or pretty. I would err on the side of verbose-but-descriptive, like maybe overtype.preservePositioningOnBackspace.

Or I might choose to punt and just have the setting be called overtype.backspaceMode, and have either numeric choices, or fixed strings like "default" and "position-preserving". (This has the potential advantage of accommodating more than 2 defined behaviors, as I laid out in my comment on issue #20.)

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants