[Github-comments] Re: [geany/geany] Tooltip unclear: suggestion for better distinction between two options for backspace (Issue #3588)

2023-10-10 Thread Peter C. S. Scholtens via Github-comments
Some more annoyance: VScode uses **outdent**, but [Microsoft discourages it](https://learn.microsoft.com/nl-nl/style-guide/a-z-word-list-term-collections/i/indent-outdent). Democratically, Google reports **unindent** 1.1 million and **outdent** 31,6 million times. Best explanation (to use

[Github-comments] Re: [geany/geany] Tooltip unclear: suggestion for better distinction between two options for backspace (Issue #3588)

2023-10-10 Thread elextr via Github-comments
Wiktionary shows "unindent", "outdent", "dedent" as [synonyms](https://en.wiktionary.org/wiki/outdent) for the exact action backspace is performing (and the preceding checkbox for shift-tab). Its better to consistently use the relevant terminology than to attempt to describe it in English,

[Github-comments] Re: [geany/geany] Tooltip unclear: suggestion for better distinction between two options for backspace (Issue #3588)

2023-10-10 Thread Peter C. S. Scholtens via Github-comments
New attempt: "With the cursor inside an indentation, pressing backspace deletes this indentation level instead of deleting only a single character." -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/3588#issuecomment-1754632244 You are receiving this

[Github-comments] Re: [geany/geany] Tooltip unclear: suggestion for better distinction between two options for backspace (Issue #3588)

2023-10-10 Thread elextr via Github-comments
Heh, overlapping comments :-P -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/3588#issuecomment-1754572392 You are receiving this because you are subscribed to this thread. Message ID:

[Github-comments] Re: [geany/geany] Tooltip unclear: suggestion for better distinction between two options for backspace (Issue #3588)

2023-10-10 Thread elextr via Github-comments
> With the cursor in the indentation, pressing backspace deletes it completely > (removing multiple characters) instead of deleting a single character. This is incorrect, it removes one _level_ of indentation, it does not delete indentation completely. The existing message is more correct

[Github-comments] Re: [geany/geany] Tooltip unclear: suggestion for better distinction between two options for backspace (Issue #3588)

2023-10-10 Thread Colomban Wendling via Github-comments
It's not removing indentation completely, it's removing one ident level (AKA "unindent"). So maybe we indeed need a better wording if it's not clear, but your proposal is not describing the feature accurately. -- Reply to this email directly or view it on GitHub: