purescript-mode icon indicating copy to clipboard operation
purescript-mode copied to clipboard

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

Open Hi-Angel opened this issue 9 months ago • 1 comments

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 avatar Feb 23 '25 11:02 Hi-Angel

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 😊

Hi-Angel avatar Feb 23 '25 11:02 Hi-Angel