Cody Allen

If someone does something like `edit myTerm myTerm.doc` we probably don't want to put two copies of the doc in the scratch file. Similarly for `edit 1-192`. Also if someone...

I've found that there are two somewhat distinct reasons that I want this: - I want to make sure that if I change the implementation that the user-facing docs still...

> It does seem to me that only a couple commands might want to escape a space in this way, namely those that take a filename @mitchellwrosen `run main "my...

I almost forgot to mention the most important reason: @alvaroc1 has advocated for this to lower the barrier to his child learning Unison.

@unorsk wonderful thank you! 🎉 > do you want to keep the unique keyword (just make it optional) or does it have to go? My inclination would be to keep...

@hojberg thank you for the detailed response. It is indeed trickier than I realized. Hopefully when unisonweb/unison#3407 is merged it will look considerably better. I'm really excited for a split...

Hmm is this browser dependent? For me (on Firefox) it behaves nicely until it pops open the navigation pane on the left and then it stops expanding the code render...

@hojberg yeah, I was talking about scrolling to it. In general as I switch between definitions I find that I expect the left side to scroll to the one that...

@chuwy thanks! I remember seeing an announcement about FlakeHub, but I haven't looked into it much yet. One hesitation that I have is that the unison repo itself now has...

@maxtremblay for me (also on release/M2j) I can't reproduce this locally , but I suspect that I know what's going on. Do you have all of this code within the...