You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There seems to be some magic that tries to make things pretty, but this shouldn't happen within code blocks:
For example:
It will eat the space in id: foobar and make it id:foobar
It will merge characters like >= and == into a single character such as ≥ and ⩵
There's probably more which we just haven't seen yet.
The text was updated successfully, but these errors were encountered:
Well... not sure what is happening with the ids here. But it looks like it does not remove the space from all ids. Looks like an issue with highlight.js which we use for syntax highlighting.
The other thing (>=, ==) sounds like the ligatures feature of the font we are using in the theme: FiraCode. Which is acutally a feature not a bug :) Many devs are using this font because of that. But of course this is a matter of taste. Strange thing is I do not see these ligatures in my browsers, although I have the font installed. Can you show me a screenshot?
Example: https://nymea.io/documentation/users/usage/scripting
There seems to be some magic that tries to make things pretty, but this shouldn't happen within code blocks:
For example:
It will eat the space in
id: foobar
and make itid:foobar
It will merge characters like
>=
and==
into a single character such as≥
and⩵
There's probably more which we just haven't seen yet.
The text was updated successfully, but these errors were encountered: