Ellis Michael
Ellis Michael
I tried `latexrun -W no-all`, but that doesn't seem to work.
Throughout the search tests now, we have the pattern: ```java searchSettings.maxTimeSecs(30); searchSettings.addGoal(CLIENTS_DONE); searchSettings.addInvariant(RESULTS_OK); bfs(initSearchState); assertGoalFound(); searchSettings.clearGoals(); bfs(initSearchState); ``` If the first `bfs` is not instant, this wastes significant time. It...
Right now, all nodes are laid out in a single row. On very wide screens, this is fine. On smaller screens, trying to view more than 4 nodes at once...
On MacOS, we should use the system menu bar in the new viz tool instead of creating a menu bar in swing and docking it at the top of the...
Reddit thinks ^ means superscript and surrounds text in . This needs to recognize when ^ should have been in a $\LaTeX$ fragment and undo the markdown.
Instead of using localStorage, use the Chrome API for cloud storage.
I'm not sure if any websites don't allow it, but MathJax relies on styles in the header to function properly.