- Mar 21, 2024
-
-
Florian Sesser authoredA <div> element, in contrast to the <body> element, does not have an 'onload' attribute to run Javascript. This reverts 2751f0c9.
-
- Jul 10, 2023
-
-
Florian Sesser authored
-
- Jul 07, 2023
-
-
Jean-Paul Calderone authored
We can avoid carrying the three-tuple of result values over the scrim div by composing the container div and the scim div with `<*` which sequences the two actions but then discards the result of the right-hand side and propagates the result of the left-hand side (where the tuple is produced).
-
- Jul 06, 2023
-
-
Florian Sesser authored
-
Florian Sesser authored
Refs #89
-
- Jun 30, 2023
-
-
Jean-Paul Calderone authored
-
Jean-Paul Calderone authored
-
Jean-Paul Calderone authored
-
Jean-Paul Calderone authored
-
Jean-Paul Calderone authored
-
Jean-Paul Calderone authored
-
Jean-Paul Calderone authored
-
Jean-Paul Calderone authored
-
- Jun 29, 2023
-
-
Jean-Paul Calderone authored
-
- Jun 28, 2023
-
-
Jean-Paul Calderone authored
-
Jean-Paul Calderone authored
-
Jean-Paul Calderone authored
-
Jean-Paul Calderone authored
-
- Jun 27, 2023
-
-
meejah authored
-
meejah authored
-
Florian Sesser authored
-
meejah authored
-
meejah authored
-
meejah authored
-
meejah authored
-
meejah authored
-
Florian Sesser authored
-
Jean-Paul Calderone authored
-
Jean-Paul Calderone authored
-
- Jun 26, 2023
-
-
Jean-Paul Calderone authored
-
Jean-Paul Calderone authored
Should allow viewing files. In practice, Android fails to find any viewer for every file type I've tried. We might have to explicitly tell it about mime-types?
-
Florian Sesser authored
-
Florian Sesser authored
-
Jean-Paul Calderone authored
-
Jean-Paul Calderone authored
-
Jean-Paul Calderone authored
-
Jean-Paul Calderone authored
Attempt to allow the user to view the contents when they are clicked
-
Florian Sesser authored
-
Florian Sesser authored
-
Florian Sesser authored
... hoping this makes it easier to wire this up? Plus it gives a nice hover animation (which one cannot see on mobile I suppose)
-
