William Stein
William Stein
Maybe the account --> support tab is much less useful than I realized, since the only thing you can do there is click a link and then you still have...
This discussion in HN today https://news.ycombinator.com/item?id=41818459 has some interesting subdiscussions about "why do big companies use zendesk instead of their own homemade support systems", and also "zendesk is owned by...
versus the dropdown menu on the right of the cell:
commit 516952a2223e0890625b4a87b8fd0a419b323544 in some random branch basically fixes this issue...
@igor-buzzoola Thanks! I immediately hit exactly this problem as well.
More precisely, this is what I think could replace validateKey: ```ts const validKeyRe = /^[^\u0000\s*>]+$/; function validateKey(k: string) { if (k.startsWith(".") || k.endsWith(".") || !validKeyRe.test(k)) { throw new Error(`invalid key:...
I think this is NOT fixed for rmd, though it is for latex. https://github.com/sagemathinc/cocalc/pull/7722 does make it possible.
We really need a per editor indent configuration.
Indent setting is a default for some editors, and is explicitly overridden for others. We do indeed need to implement per-file-type or per-project indent settings... Probably the easiest "fix" for...
Ah hah! On Wed, Jan 30, 2019, 9:43 AM Harald Schilly > 1. in your home dir, run touch foo to create a normal file. > > *Case 1:* in...