John Benediktsson
|
29054e53e8
|
help.markup: make sure lists wrap wider.
|
2020-02-26 12:02:20 -08:00 |
|
John Benediktsson
|
95b695d664
|
fjsc: remove unnecessary stack effects on generic words.
|
2020-02-26 11:34:23 -08:00 |
|
John Benediktsson
|
385c5edf1a
|
calendar: remove unnecessary effects on generics.
|
2020-02-26 11:34:02 -08:00 |
|
John Benediktsson
|
6ee821e061
|
prettyprint.stylesheet: s/stack-effect-style/base-effect/style/.
|
2020-02-26 11:18:18 -08:00 |
|
John Benediktsson
|
049271d04e
|
help.markup: cleanup using.
|
2020-02-26 11:08:13 -08:00 |
|
John Benediktsson
|
59ddb844e9
|
prettyprint.stylesheet: change stack effects to not be green.
|
2020-02-26 11:07:46 -08:00 |
|
John Benediktsson
|
2cbcacad88
|
core/basis/extra: update some tags.txt.
|
2020-02-26 10:57:08 -08:00 |
|
John Benediktsson
|
522f30e520
|
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-02-26 10:24:23 -08:00 |
|
John Benediktsson
|
994ecb655b
|
help.html: assume even padding started out odd.
|
2020-02-26 10:03:35 -08:00 |
|
John Benediktsson
|
6796daab79
|
help.html: clone attrs in css-styles-to-classes and double padding.
|
2020-02-26 09:44:14 -08:00 |
|
John Benediktsson
|
15d6762449
|
help.markup: change $breadcrumbs to unicode.
|
2020-02-26 09:40:27 -08:00 |
|
John Benediktsson
|
6aa7d52473
|
ui.tools.browser: use unicode next/prev arrows.
|
2020-02-26 09:22:48 -08:00 |
|
John Benediktsson
|
c03a7b5ec2
|
ui.gadgets.panes: simplify <styled-label>.
|
2020-02-25 12:33:01 -08:00 |
|
John Benediktsson
|
94fcf3f2b6
|
html.streams: allow div-css-style to use span-css-style.
|
2020-02-25 12:30:51 -08:00 |
|
John Benediktsson
|
404aa1bc92
|
Revert "html.streams: use style-stream."
This reverts commit 6f9a7dcc9e.
|
2020-02-25 12:10:42 -08:00 |
|
John Benediktsson
|
0d6096df0a
|
vm: use FILE_READ_ATTRIBUTES to make exists? faster.
|
2020-02-25 11:05:17 -08:00 |
|
John Benediktsson
|
08dd854b15
|
lists: check for errors like L{ . 3 }.
|
2020-02-24 09:11:46 -08:00 |
|
John Benediktsson
|
20f0b8aa28
|
lists: make multiple dots a syntax error.
|
2020-02-23 07:29:02 -08:00 |
|
John Benediktsson
|
79add00e24
|
help.html: don't use sprintf.
|
2020-02-22 20:40:11 -08:00 |
|
John Benediktsson
|
83e46eb030
|
lists: simplify parse-list-literal to fix bootstrap issue.
|
2020-02-22 20:37:10 -08:00 |
kusumotonorio
|
0f6ec42e3e
|
lists.factor: rest: --> .
|
2020-02-22 19:58:55 -08:00 |
|
kusumotonorio
|
384f976deb
|
lists.factor: Added some vocab
|
2020-02-22 19:58:55 -08:00 |
|
kusumotonorio
|
a38b3dfd83
|
Supports dotted pair notation
|
2020-02-22 19:58:55 -08:00 |
|
John Benediktsson
|
189b54998d
|
Revert "help.markup: separate examples using newlines."
This reverts commit 76fcbdc690.
|
2020-02-22 19:49:41 -08:00 |
|
John Benediktsson
|
2ee8635f1e
|
help.stylesheet: make some fonts bigger.
|
2020-02-19 21:55:29 -08:00 |
|
John Benediktsson
|
b73b3e04f9
|
help: simplify navigation-table.
|
2020-02-19 21:47:01 -08:00 |
|
John Benediktsson
|
76fcbdc690
|
help.markup: separate examples using newlines.
|
2020-02-19 21:47:01 -08:00 |
|
John Benediktsson
|
e0e58a62c5
|
ui.tools.browser: change $navigation to not use title-style.
|
2020-02-19 21:47:01 -08:00 |
|
John Benediktsson
|
1a84cede3b
|
ui.gadgets.panes: change approach to nested-pane-stream.
|
2020-02-19 21:47:01 -08:00 |
|
John Benediktsson
|
a7682c9854
|
io.styles: change style-stream to inherit all styles by default.
|
2020-02-19 21:47:01 -08:00 |
|
John Benediktsson
|
fa31902975
|
ui.tools.error-list: adding table header emphasis.
|
2020-02-19 21:47:01 -08:00 |
Doug Coleman
|
a91fbb54b0
|
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-02-18 18:43:49 -06:00 |
|
Doug Coleman
|
02445393c8
|
factorcode: Friendship ended with RACKSPACE. Now DIGITALOCEAN is my best friend
|
2020-02-18 14:18:53 -06:00 |
|
John Benediktsson
|
3aa71bcb84
|
help.html: cleanup stylesheet a bit.
|
2020-02-17 14:50:48 -08:00 |
|
John Benediktsson
|
ff35f79f3e
|
help.html: change fixed font-size to relative.
|
2020-02-17 14:50:30 -08:00 |
|
John Benediktsson
|
c8e4d9fa69
|
Revert "io.streams.ansi: use call-next-method."
This reverts commit dbb83b7100.
|
2020-02-17 07:09:12 -08:00 |
|
John Benediktsson
|
abbfedc53d
|
Revert "io.streams.256color: use call-next-method."
This reverts commit 4af73340d2.
|
2020-02-17 07:08:56 -08:00 |
|
John Benediktsson
|
2e5cec428a
|
help.markup: adding a $slots word to document slots, use it.
|
2020-02-16 22:36:19 -08:00 |
|
John Benediktsson
|
7de25b9f20
|
ui.gadgets.panes: make it clear that pane/pack/paragraph are not streams.
|
2020-02-16 19:23:29 -08:00 |
|
John Benediktsson
|
f651c8fd9a
|
ui.gadgets.pane: rename pane-clear to clear-pane.
|
2020-02-16 19:17:29 -08:00 |
|
John Benediktsson
|
8976014697
|
help.html: support style/class replacement in more tags.
|
2020-02-15 10:27:22 -08:00 |
|
John Benediktsson
|
dbb83b7100
|
io.streams.ansi: use call-next-method.
|
2020-02-15 09:36:06 -08:00 |
|
John Benediktsson
|
4af73340d2
|
io.streams.256color: use call-next-method.
|
2020-02-15 09:35:57 -08:00 |
|
John Benediktsson
|
7b0f6efe7f
|
ui.gadgets.panes: use style-stream.
|
2020-02-15 09:35:09 -08:00 |
|
John Benediktsson
|
6f9a7dcc9e
|
html.streams: use style-stream.
|
2020-02-15 09:33:55 -08:00 |
|
John Benediktsson
|
4a05a845bc
|
io.styles: rename do-nested-style, make private.
|
2020-02-15 09:22:41 -08:00 |
|
John Benediktsson
|
1e8b405307
|
io.streams.256color: use filter-writer.
|
2020-02-15 08:57:18 -08:00 |
|
John Benediktsson
|
e822e78afd
|
io.streams.ansi: use filter-writer.
|
2020-02-15 08:57:09 -08:00 |
|
John Benediktsson
|
d0a44d665e
|
io.styles: only allow character styles to inherit.
|
2020-02-15 08:42:06 -08:00 |
|
John Benediktsson
|
70c8b35f62
|
slides: unify default-style and code-style.
|
2020-02-15 08:40:44 -08:00 |