More Color Settings - Githubissues

garetht / intellij-dhall

A Dhall plugin for IntelliJ IDEs

7 stars 1 forks source link

Closed garetht closed 4 years ago

garetht commented 4 years ago

This performs some refactoring of color settings and allows yet more colors to be added on the settings page.