izzues

Hey, thanks for the great work! Any progress? Is there any workaround for now? This is the only feature I need to switch to Publii!

I just tried this: - I removed `requirements` - I ran `nix-shell` - I added `requirements` again - I ran `nix-shell` again This worked, I just have no idea why.

Similar issue here, except changing DPI doesn't solve it either. The entire layout is shifted, as you can see a black border appears at the top, so for example I...

Have you seen [MakeTypes](https://github.com/jvilk/MakeTypes)? Not the exact same thing but it may be relevant. And it's inspired by the paper ["Types from Data: Making Structured Data First-Class Citizens in F#"](https://dl.acm.org/citation.cfm?id=2908115).

- [CUE](https://cuelang.org/) - [F*](https://www.fstar-lang.org/) - [Flix](https://flix.dev) - [Lean](https://leanprover.github.io/) - [Nickel](https://github.com/tweag/nickel) (not Nickle) - [Pony](https://www.ponylang.io/) - [Pyret](https://www.pyret.org/)

> Looks like this addon hasn't been updated in 2.5 years. And I can't @ lusaka. Come on. You had this extension on Chrome. You have it on Firefox. Why...

I'd also love to see this feature! The existing minimap could be augmented to support basic filtering by cell type, then the user could set it to display Markdown titles...

Same on Arch WSL + VcXsrv with [these](https://superuser.com/a/1370548/) tweaks. Any workarounds?

+1 To reproduce, it's enough to resize Spacemacs' window width until it's narrower than the hints.