Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

(feature) Add hard backspace option #43

Open
wants to merge 3 commits into
base: master
Choose a base branch
from

Conversation

HarryHighPants
Copy link

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

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 join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants