Skip to content

Use user-error instead of error where appropriate. - #363

Open
haji-ali wants to merge 1 commit into
vedang:masterfrom
haji-ali:user-error
Open

Use user-error instead of error where appropriate.#363
haji-ali wants to merge 1 commit into
vedang:masterfrom
haji-ali:user-error

Conversation

@haji-ali

Copy link
Copy Markdown

This PR replace calls of (error ...) by the more approriate (user-error ...) where relevent.

According to the docs:

[...] a user error (or "pilot error") comes
from an incorrect manipulation by the user, not from an actual problem.
In contrast with other errors, user errors normally do not cause
entry to the debugger, even when debug-on-error is non-nil.

The old (error ...) calls would trip the debugger for normal user behavior (like scrolling beyond page 0 using the mouse-wheel).

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.

1 participant