Bozhidar Batsov
Bozhidar Batsov
> (How has this never been reported before? I imagine that having to manually start cider-mode after a REPL disconnect is quite a noticeable bug, I seem to have commented...
I'm OK with the proposed change, but I'd suggest to documented the config variable and it's potential use-case somewhere, otherwise no one will ever find it. This also needs a...
@taquangtrung friendly ping :-)
> I just added the documentation on changes and use cases. Can you check if these are ok? They look OK, but I'd also suggest to add this somewhere in...
@JohnC32 Sorry for the slow response. Your PR seems reasonable to me and I'll review it in more detail soon. > Update the mode menu to add Might be good...
> Also add colors to the mode line status indicator: I'd probably make this an optional feature controlled by a `defcustom`. Overall your changes look pretty good to me. Please,...
@JohnC32 Friendly ping :-)
> I saw the comet about wanting two separate PR's. I'm not sure how to split this into two PRs without deleting my fork and then re-doing it. If it's...
@JohnC32 friendly ping :-)