Jonathan Dowland

make "Restore" default to not deleting a session [feature-request]

1

Right now, "Restore" both restores the session, and deletes it from the sidebar/bookmarks. The little "..." icon offers an alternative "restore & keep" action. I find this counter-intuitive: I frequently...

I don't wish to delete sessions when I restore them. I've ticked "confirm session removal", the description of which certainly implies that, when "removing a session via the sidebar", you...

Implement hasVertexP and hasEdgeP

13

This is an initial PR for hasVertexP and hasEdgeP - predicate variants of hasVertex and hasEdge (reimplemented in terms of the predicate versions). (the latter of which will be useful...

escape strings to satisfy Dot syntax rules

10

GraphViz's "dot" language has several options for encoding IDs, as described here: https://www.graphviz.org/doc/info/lang.html Alga makes use of the quoted-string syntax. This permits any character within double quotes, except the double-quote...

dot syntax escaping required for defaultStyleViaShow

11

A Graph type's show implementation might generate strings that result in invalid dot output. For example ``` > putStrLn (export defaultStyleViaShow (path ["test \"1\"", "2"]) :: String) digraph { ""2""...

examples.py broken ('Order' object has no attribute 'ensure_subproducts')

2

After substituting some real credentials, with a clone of the repo (thus current master): ``` $ python examples.py Traceback (most recent call last): File "examples.py", line 21, in order.ensure_subproducts() AttributeError:...

examples.py broken: NoneType is not iterable

1

Assuming I comment out a line to avoid #12 , during the iteration, I eventually get ``` Traceback (most recent call last): File "examples.py", line 23, in for subproduct in...

build process should work inside containers

1

I'm surprised this didn't occur to me earlier, but we should generally run the builds inside containers themselves, so the host does not need to be Debian/have debootstrap around. There...

Elevated privileges are needed for some operations (chroot) and might be needed, depending on configuration, for others (docker ...); need to clarify how the user should achieve this (just run...

PageMissingError during resume attempts

2

I'm dumping doomwiki.org using master = HEAD = 9b1996d4368c0b7ccd568dd2c9b460159b8e26e5 The initial dump eventually fails for some reason or other due to the remote end throwing a HTTP error 500. The...