search

gracelang / grace-web-editor

A simple editor for Grace
GNU General Public License v3.0
2 stars 8 forks source link

File name highlight effect #92

Closed virinchiv closed 11 months ago

virinchiv commented 12 months ago

Adds background color to the currently selected file name. Adds lighter shade color effect when hovered over any file name. Removes the red color text for the currently selected file.