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

Remove turn-on-purescript-font-lock and turn-off-purescript-font-lock #41

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

Hi-Angel
Copy link
Member

@Hi-Angel Hi-Angel commented Feb 23, 2025

The functions provide no useful cases because font-locking is enabled
by default and can be disabled by turning off font-lock (which the
"turn-off" function is a wrapper over). At the same time, the function
constitutes huge chunk of the code and comes up while trying to figure
where things are called from.

Basically, the functions are just duplicating the functional, and I'm
hoping they have no users.

Turns out also, the function removal was attempted in 0a9580d,
however… I am not exactly sure what went wrong but the author only
posted the NEWS entry about the functions being removed, but made no
chages regarding them.

@Hi-Angel
Copy link
Member Author

Turns out also, the function removal was attempted in 0a9580d, however… I am not exactly sure what went wrong but the author only posted the NEWS entry about the functions being removed, but made no chages regarding them.

CC: @hvr 😊

The functions provide no useful cases because font-locking is enabled
by default and can be disabled by turning off font-lock (which the
"turn-off" function is a wrapper over). At the same time, the function
constitutes huge chunk of the code and comes up while trying to figure
where things are called from.

Basically, the functions are just duplicating the functional, and I'm
hoping they have no users.

Turns out also, the function removal was attempted in 0a9580d,
however… I am not exactly sure what went wrong but the author only
posted the NEWS entry about the functions being removed, but made no
chages regarding them.
@Hi-Angel Hi-Angel changed the title wip: Remove turn-on-purescript-font-lock and turn-off-purescript-font-lock Remove turn-on-purescript-font-lock and turn-off-purescript-font-lock Feb 24, 2025
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