varkor
16722f9a39
Remove KaTeX as a src submodule
...
We can't build KaTeX on GitHub pages, so this submodule isn't useful here.
2019-01-13 22:40:58 +00:00
varkor
918d238c48
Add the ability to rearrange edges by reconnecting them to other cells
...
This fills the gap left by the ability to move vertices after creation, but not edges. This finally makes it possible to rearrange a diagram non-destructively.
2019-01-13 22:14:20 +00:00
varkor
d15c64c858
Rerender dependencies when edge offset is modified
2019-01-13 21:04:27 +00:00
varkor
4fb872a4b7
Update KaTeX
2019-01-13 20:30:35 +00:00
varkor
4eaa394171
Add visual indicator when Backspace is pressed unnecessarily inside an input
2019-01-13 20:18:41 +00:00
varkor
90ceccc9fa
Remove UI.debug
...
This has reached the end of its usefulness.
2019-01-13 18:23:25 +00:00
varkor
30e084f9c7
Add marking
label style
2019-01-12 23:25:59 +00:00
varkor
b3bc94eb4c
Make panel scrollable
2019-01-12 21:29:03 +00:00
varkor
6733a055b7
Switch to KaTeX as the default TeX rendering library
...
KaTeX is significantly faster than MathJax and is thus more well-suited to being used in a real-time app.
2019-01-12 20:33:34 +00:00
varkor
308c4fa667
Add link sharing
...
It's now possible save and load direct links to diagrams. This makes it much easier to share commutative diagrams (given that it is not currently possible to import tikzcd code).
2019-01-12 18:17:36 +00:00
varkor
3b146c6a9a
Add a .gitmodules file to src/
...
This will be ignored by git when working with the repository as-is, but src subtrees of the repository (for directly cloning the source) will now also have access to the submodules.
2019-01-05 16:08:26 +00:00
varkor
6613abfa3f
Allow the view to be panned with Control
2019-01-05 15:52:55 +00:00
varkor
8c90763ef3
Allow Delete for deleting cells as well as Backspace
2019-01-05 15:45:13 +00:00
varkor
f24485f1d2
Add a favicon
2019-01-04 19:59:54 +00:00
varkor
d1a83b1c51
Add panning by scrolling
...
This makes panning much more natural.
2019-01-04 19:47:41 +00:00
varkor
6cb55c01e9
Permit some key combinations to leak outside the input field
2019-01-04 18:40:49 +00:00
varkor
3904b2eda0
Fix issue with early-terminated history events not being committed
2019-01-04 18:40:49 +00:00
varkor
a72147c6cc
Pop idempotent history events
2019-01-04 18:16:54 +00:00
varkor
b5bc1f1d13
Permit use of the arrow keys for moving vertices
2019-01-04 17:56:39 +00:00
varkor
d54ef7aae7
Add a logo
2019-01-04 17:49:17 +00:00
varkor
11d640976c
Gracefully handle MathJax not loading
...
Labels can now render without MathJax and will use it as soon as it becomes available.
2019-01-04 16:52:36 +00:00
varkor
f24153eb5a
Add a history system (undo/redo)
...
This adds a comprehensive history system for all of the actions *quiver* currently supports. I've made these interactions feel as natural as I can, but there'll undoubtedly be some tweaking remaining later.
2019-01-04 15:44:32 +00:00
varkor
b35f2fd063
Add support for multiple selections
...
Multiple cells can now be selected by holding Shift while selecting. Command (+ Shift) + A will (de)select all cells. This allows cells to be moved and modified en masse.
2019-01-03 15:11:21 +00:00
varkor
e258826a62
Add panning
...
By holding Option (or Alt), one may now pan the view, facilitating the creation of more elaborate diagrams.
2019-01-01 23:00:57 +00:00
varkor
edf35238af
Ensure forge_vertex
mode only connects 0-cells with 1-cells
...
Higher-order forgery is not permitted.
2018-12-31 23:05:45 +00:00
varkor
c1b4886ffa
Add forge_vertex
mode allowing for extremely quick diagram layout
...
`forge_vertex`, switched on by default, allows you to draw an edge between empty cells (technically *to* an empty cell, but a new behaviour allows to drag from an empty one too), which will create the necessary vertices and edges. This allows diagrams to be created simply by dragging (and concrentrating primarily on the edges rather than the vertices).
2018-12-30 01:00:41 +00:00
varkor
4d09c88ba3
Improve arrow styles for k-cells
...
Drawing natural transformations with additional styles now looks much better. Actually better than the current version of tikzcd.
2018-12-30 00:02:06 +00:00
varkor
a28cf42ab9
Add phantom
edge style
2018-12-29 23:15:31 +00:00
varkor
8de3878502
Improve interaction of epi heads with squiggly edges
2018-12-29 23:15:31 +00:00
varkor
a2a8181fe8
Prevent Backspace triggering browser history events
2018-12-29 23:15:31 +00:00
varkor
553ccff52e
Only export label alignment for nonempty labels
...
This fixes an issue where `description` causes gaps in labels even for empty labels in tikzcd.
2018-12-29 23:15:31 +00:00
varkor
7ed72f9964
Add inclusion (hook) head style
2018-12-29 23:15:31 +00:00
varkor
1933b44767
Add squiggly arrow style
2018-12-29 23:15:31 +00:00
varkor
a9119879c7
Add harpoon head styles
2018-12-29 23:15:31 +00:00
varkor
9ae67504ff
Add monomorphism tail style
2018-12-29 23:15:31 +00:00
varkor
1c5afbf2b3
Add epimorphism head style
2018-12-29 23:15:31 +00:00
varkor
e979ad18a8
Add headless arrows
...
In particular, this enables the `equal` edge style.
2018-12-29 23:15:31 +00:00
varkor
c991b4ff83
Add support for head and tail styles
...
This significantly increases the power of the edge styling, allowing for combinations of edge styles. Currently there is one extra tail style: `maps to`.
2018-12-29 23:15:31 +00:00
varkor
ea64e0aea6
Add pullbacks and pushouts
2018-12-29 16:56:20 +00:00
varkor
666f7db32a
Add dashed and dotted edge styles
2018-12-29 13:44:14 +00:00
varkor
e8395b6748
Fix tikzcd export of labels containing commas
2018-12-29 12:04:53 +00:00
varkor
0fbd8dbffe
Let Enter and Escape focus and defocus the label input
2018-12-29 01:40:09 +00:00
varkor
6c6a4476f4
Improve tikzcd export of 2-cells
...
Without some manual shortening, 2-cells tend to be placed far too close to 1-cells.
2018-12-29 01:36:36 +00:00
varkor
cfe8c88924
Choose edge offset smartly
...
Default edge offset is now chosen in a similar, but more restricted, manner to label alignment, which makes the experience of creating diagrams with parallel arrows more natural.
2018-12-29 01:20:23 +00:00
varkor
d977835c0a
Make clicking on a selected cell toggle label input focus
...
This is as opposed to the previous behavior, where it would always focus the label input, making it more awkward to edit the cell as a whole (say, to delete it).
2018-12-29 01:05:52 +00:00
varkor
1725665dc5
Add adjunctions
...
This adds support for a new arrow style: adjunctions (`\dashv`).
2018-12-29 00:51:36 +00:00
varkor
1d6c321bdd
Allow the edge style to be configured
...
So far, we simply allow edges to be drawn as 1-cells or 2-cells, but this opens up the possibility of having other edge styles.
2018-12-28 23:23:03 +00:00
varkor
bf8a37cc21
Give vertices a default label: \bullet
...
This is handy when quickly prototyping diagrams.
2018-12-28 23:04:06 +00:00
varkor
c88c19c18f
Add button to reverse edge direction
2018-12-28 23:04:05 +00:00
varkor
094fb7faa2
Implement edge offset (AKA parallel arrows)
...
This adds support for `shift` in tikzcd, allowing parallel arrows. This is especially useful as it enables proper natural transformations.
2018-12-28 18:05:17 +00:00