Michael Vanier comments

Results 9 comments of


                                            Michael Vanier

Open files in buffers rather than tabs

+1 for this. I just got bitten by it today. It seems better to use the nvim defaults, but I would be OK with a command-line option as well.

Configuration file only read if it has a leading dot (.lambda-term-inputrc)

Thanks for the clarification!

Manual missing

Just to be clear, as of right now, if you go to the official documentation page at https://ppxlib.readthedocs.io/en/latest/ there is nothing at all there.

remove a folded header's background color?

Agree. I use a dark color scheme and folded sections are so bright it's very distracting. I'm not a vim beginner but I've scoured the manual and I am unable...

remove a folded header's background color?

Hey, I just figured it out! It's not orgmode-specific. It's the vim Folded highlight colors: https://stackoverflow.com/questions/3930604/different-colors-for-folds-and-subfolds-in-vim For instance: :hi Folded guibg=green makes folds green on my vim.

mutually-recursive classes cannot have type parameters

I'm trying to adapt this to the example I gave and I ended up with this: ~~~ type 'b tree_visitor = < visit_empty : empty -> 'b; visit_leaf : leaf...

mutually-recursive classes cannot have type parameters

Oops, the `empty` stuff is redundant and can be removed.

mutually-recursive classes cannot have type parameters

It's still open and the behavior reported above has not changed. It's not critical.