search

JetBrains / intellij-arend

Arend plugin for IntelliJ IDEA
Apache License 2.0
90 stars 12 forks source link

Bad choice color for external parameters in some color schemes #439

Closed sxhya closed 9 months ago

sxhya commented 11 months ago

image