William Stein
William Stein
I'm tagging this with unclear, because I actually may strongly disagree with viewing this as incorrect behavior. First let me note that this has nothing to do with notebooks --...
OK, I think the side chat should come back as *blank*, as you request, just like if you delete then create a file, it is blank. It should still have...
I can confirm that even today the cpu usage is indeed potentially totally wrong for a few seconds after initial project startup, since it's stale. It gets updated eventually and...
(not really a bug -- just a nuisance)
I think in markdown you should use the proper markdown for strikeout, not an html tag. Alternatively, if you want to use html instead of markdown, make a completely html...
What are some ways to do this parsing?
On Fri, Feb 26, 2016 at 12:47 PM, kalmar [email protected] wrote: > I would actually go for autocompletion (ctrl+space) of not only latex > commands but also any words that...
On Fri, Feb 26, 2016 at 2:36 PM, kalmar [email protected] wrote: > the idea is to build a MM on n-grams (=n-tuples of consecutive words, > n=2-3?) based on some...
The best solution these days for this sort of thing is LSP support for latex. https://github.com/latex-lsp/texlab
This is a reasonable request given our current model of widgets, where all state is fully available in the backend (or compute server). We have full realtime sync between clients...