seagle0128/doom-modeline Issues
[Bug] Error during redisplay
Closed 1[Bug]
Closed 3display number of goals in Coq mode
Closed 11Indicate modals everywhere
Closed 1Direnv integration
Updated 2
A fancy and fast mode-line inspired by minimalism design.