Roman Schmied comments

Repositories
Issues
Comments

Results 1 comments of


                                            Roman Schmied

Unicode characters (Greek letters) in identifiers are handled incorrectly

Also, even though `Δx` is colored uniformly in blue, the pattern `Δx_` is split: the `Δ` is shown in blue and the `x_` is shown in green-italic (using minted +...