10000 fix: theme defined editor.lineHighlight color is not applied by sebthom · Pull Request #704 · eclipse-tm4e/tm4e · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

fix: theme defined editor.lineHighlight color is not applied#704

Merged
sebthom merged 1 commit intoeclipse-tm4e:mainfrom
sebthom:dev
Feb 13, 2024

Commits

Commits on Feb 13, 2024
0