John Benediktsson
|
039d4f0877
|
math.vectors: rename "v." to "vdot"
|
2020-04-11 20:35:00 -05:00 |
|
John Benediktsson
|
8aa6afb304
|
help.markup: make sure lists wrap wider.
|
2020-04-11 20:35:00 -05:00 |
|
John Benediktsson
|
3824495560
|
fjsc: remove unnecessary stack effects on generic words.
|
2020-04-11 20:34:59 -05:00 |
|
John Benediktsson
|
89056025a7
|
calendar: remove unnecessary effects on generics.
|
2020-04-11 20:34:58 -05:00 |
|
John Benediktsson
|
e7d088af63
|
prettyprint.stylesheet: s/stack-effect-style/base-effect/style/.
|
2020-04-11 20:34:57 -05:00 |
|
John Benediktsson
|
af44b24fc8
|
help.markup: cleanup using.
|
2020-04-11 20:34:56 -05:00 |
|
John Benediktsson
|
59f0d13562
|
prettyprint.stylesheet: change stack effects to not be green.
|
2020-04-11 20:34:55 -05:00 |
|
John Benediktsson
|
4d573ed52b
|
core/basis/extra: update some tags.txt.
|
2020-04-11 20:34:54 -05:00 |
|
John Benediktsson
|
f703c7aef8
|
xml.writer: remove M\ number write-xml.
This is likely an artifact from when numbers were treated as sequences,
which isn't needed anymore.
|
2020-04-11 20:34:53 -05:00 |
|
John Benediktsson
|
12664b74ba
|
help.html: assume even padding started out odd.
|
2020-04-11 20:34:52 -05:00 |
|
John Benediktsson
|
ba38aba36c
|
help.html: clone attrs in css-styles-to-classes and double padding.
|
2020-04-11 20:34:51 -05:00 |
|
John Benediktsson
|
174a0e5808
|
help.markup: change $breadcrumbs to unicode.
|
2020-04-11 20:34:51 -05:00 |
|
John Benediktsson
|
87b436eb2a
|
ui.tools.browser: use unicode next/prev arrows.
|
2020-04-11 20:34:50 -05:00 |
|
John Benediktsson
|
a4b6397dc8
|
ui.gadgets.panes: simplify <styled-label>.
|
2020-04-11 20:34:49 -05:00 |
|
John Benediktsson
|
69d6f7ccfb
|
html.streams: allow div-css-style to use span-css-style.
|
2020-04-11 20:34:48 -05:00 |
|
John Benediktsson
|
68d5fc5388
|
Revert "html.streams: use style-stream."
This reverts commit 6f9a7dcc9e.
|
2020-04-11 20:34:47 -05:00 |
|
John Benediktsson
|
cc13f5a491
|
vm: use FILE_READ_ATTRIBUTES to make exists? faster.
|
2020-04-11 20:34:46 -05:00 |
|
John Benediktsson
|
9a820dea2d
|
lists: check for errors like L{ . 3 }.
|
2020-04-11 20:34:45 -05:00 |
|
John Benediktsson
|
3758b6319c
|
lists: make multiple dots a syntax error.
|
2020-04-11 20:34:44 -05:00 |
|
John Benediktsson
|
451fb09795
|
help.html: don't use sprintf.
|
2020-04-11 20:34:43 -05:00 |
|
John Benediktsson
|
75b1fbd6f4
|
lists: simplify parse-list-literal to fix bootstrap issue.
|
2020-04-11 20:34:43 -05:00 |
kusumotonorio
|
d0bd59ad19
|
lists.factor: rest: --> .
|
2020-04-11 20:34:42 -05:00 |
|
kusumotonorio
|
65a131aa1c
|
lists.factor: Added some vocab
|
2020-04-11 20:34:41 -05:00 |
|
kusumotonorio
|
9dc71445eb
|
Supports dotted pair notation
|
2020-04-11 20:34:40 -05:00 |
|
John Benediktsson
|
c10f947814
|
Revert "help.markup: separate examples using newlines."
This reverts commit 76fcbdc690.
|
2020-04-11 20:34:39 -05:00 |
|
John Benediktsson
|
559b959e07
|
help.stylesheet: make some fonts bigger.
|
2020-04-11 20:34:38 -05:00 |
|
John Benediktsson
|
984a24ab07
|
help: simplify navigation-table.
|
2020-04-11 20:34:37 -05:00 |
|
John Benediktsson
|
81d8ecffb5
|
help.markup: separate examples using newlines.
|
2020-04-11 20:34:36 -05:00 |
|
John Benediktsson
|
3eaf7b81bc
|
ui.tools.browser: change $navigation to not use title-style.
|
2020-04-11 20:34:36 -05:00 |
|
John Benediktsson
|
612a6999c9
|
ui.gadgets.panes: change approach to nested-pane-stream.
|
2020-04-11 20:34:35 -05:00 |
|
John Benediktsson
|
2b2eb4be59
|
io.styles: change style-stream to inherit all styles by default.
|
2020-04-11 20:34:34 -05:00 |
|
John Benediktsson
|
dbfca14c8a
|
ui.tools.error-list: adding table header emphasis.
|
2020-04-11 20:34:33 -05:00 |
Doug Coleman
|
4520c7c110
|
syndication: Property can be present but f, handle this.
Test case:
"http://www.spreaker.com/show/2952221/episodes/feed" http-get nip parse-feed
|
2020-04-11 20:34:32 -05:00 |
|
Doug Coleman
|
b5050a0418
|
factorcode: Friendship ended with RACKSPACE. Now DIGITALOCEAN is my best friend
|
2020-04-11 20:34:31 -05:00 |
|
John Benediktsson
|
6cd7a6077f
|
help.html: cleanup stylesheet a bit.
|
2020-04-11 20:34:30 -05:00 |
|
John Benediktsson
|
bd7cf53e62
|
help.html: change fixed font-size to relative.
|
2020-04-11 20:34:29 -05:00 |
|
John Benediktsson
|
c8aa5a9ae8
|
Revert "io.streams.ansi: use call-next-method."
This reverts commit dbb83b7100.
|
2020-04-11 20:34:29 -05:00 |
|
John Benediktsson
|
a2d81e09fc
|
Revert "io.streams.256color: use call-next-method."
This reverts commit 4af73340d2.
|
2020-04-11 20:34:28 -05:00 |
|
John Benediktsson
|
773811b66d
|
help.markup: adding a $slots word to document slots, use it.
|
2020-04-11 20:34:27 -05:00 |
|
John Benediktsson
|
bfed56a66e
|
ui.gadgets.panes: make it clear that pane/pack/paragraph are not streams.
|
2020-04-11 20:34:26 -05:00 |
|
John Benediktsson
|
f72e79ae2e
|
ui.gadgets.pane: rename pane-clear to clear-pane.
|
2020-04-11 20:34:25 -05:00 |
|
John Benediktsson
|
53122102ee
|
help.html: support style/class replacement in more tags.
|
2020-04-11 20:34:24 -05:00 |
|
John Benediktsson
|
ddcc147e24
|
io.streams.ansi: use call-next-method.
|
2020-04-11 20:34:23 -05:00 |
|
John Benediktsson
|
2ee7235756
|
io.streams.256color: use call-next-method.
|
2020-04-11 20:34:22 -05:00 |
|
John Benediktsson
|
b68a7fbd92
|
ui.gadgets.panes: use style-stream.
|
2020-04-11 20:34:21 -05:00 |
|
John Benediktsson
|
b96d01a643
|
html.streams: use style-stream.
|
2020-04-11 20:34:20 -05:00 |
|
John Benediktsson
|
cb35010374
|
io.styles: rename do-nested-style, make private.
|
2020-04-11 20:34:19 -05:00 |
|
John Benediktsson
|
760e87140a
|
io.streams.256color: use filter-writer.
|
2020-04-11 20:34:19 -05:00 |
|
John Benediktsson
|
68cd577bcf
|
io.streams.ansi: use filter-writer.
|
2020-04-11 20:34:17 -05:00 |
|
John Benediktsson
|
a688aff7af
|
io.styles: only allow character styles to inherit.
|
2020-04-11 20:34:16 -05:00 |