Pluto.jl icon indicating copy to clipboard operation
Pluto.jl copied to clipboard

Published 20 hours ago • verified publisher icon fonsp

Highlighting issue with `<:`

Open Pangoraw opened this issue 3 years ago • 3 comments

image

Pangoraw avatar May 05 '22 17:05 Pangoraw

What are you expecting the colors to be like?

dralletje avatar May 14 '22 14:05 dralletje

Unchanged (blue) for both Bool and Integer since <: is an operator.

Pangoraw avatar May 14 '22 15:05 Pangoraw

image

fonsp avatar May 17 '22 12:05 fonsp