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
John Benediktsson
be746c1f6d
help: unify code-char-style and code-style.
2020-02-15 08:40:21 -08:00
John Benediktsson
647a477d68
help.html: vertical-align images.
2020-02-14 22:31:12 -08:00
John Benediktsson
75db2b0d4a
help.markup: change default-style to use with-nesting.
2020-02-14 22:18:38 -08:00
John Benediktsson
1da20adc63
help: change $title to only use with-nesting.
2020-02-14 22:17:41 -08:00
John Benediktsson
6adabbdf2d
io.styles: simplify style-stream by depending on style words.
2020-02-14 21:28:05 -08:00
John Benediktsson
3b08633604
help.html: whoops, need to remove the extra links.
2020-02-13 21:52:43 -08:00
John Benediktsson
ba81ca3fa6
help.html: tweak the navbar a bit.
2020-02-13 21:43:24 -08:00
John Benediktsson
d890f410bf
help.html: use max-width for content.
2020-02-13 21:07:25 -08:00
John Benediktsson
de294563d1
help.html: wrap contents in a div, update style a little.
2020-02-13 21:01:47 -08:00
John Benediktsson
a3730c329a
help: change $title to nest then style.
...
This changnes the HTML we produce to look like:
<div><span>...</span></div>
Instead of:
<span><div>...</div></span>
2020-02-13 21:01:03 -08:00
John Benediktsson
02ec3531c3
help.markup: more bold table headings.
2020-02-13 15:20:17 -08:00
John Benediktsson
38bfcd4bf1
help: add more bold table headings.
2020-02-13 15:18:43 -08:00
John Benediktsson
dc0a5ba216
help: add some bold table headings.
2020-02-13 15:07:15 -08:00
John Benediktsson
b94d9662f9
bootstrap.image: define MAIN: to make-my-image.
2020-02-13 14:56:35 -08:00
John Benediktsson
c850d38e6c
generic.math: some minor cleanup.
2020-02-13 14:54:46 -08:00
John Benediktsson
bcecb3b088
markov-chains: initial implementation.
2020-02-13 14:26:40 -08:00
Doug Coleman
5cb26d546f
windows.gdiplus: flags{ } is in literals, fix using
2020-02-13 06:25:21 +03:00
John Benediktsson
0ce27a4507
gpu.framebuffers: simplify bitor.
2020-02-12 17:00:34 -08:00
John Benediktsson
e4aae0871c
opencl: use flags{ }.
2020-02-12 17:00:19 -08:00
John Benediktsson
ec0326fee9
io.files.trash.windows: using flags{ }.
2020-02-12 14:33:30 -08:00
John Benediktsson
42e49f432c
vocabs.loader: fix alignment of last patch.
2020-02-12 13:54:11 -08:00
John Benediktsson
38eab40848
vocabs.loader: prevent create-vocab if check-vocab fails.
2020-02-12 08:42:56 -08:00
John Benediktsson
6c06054ed6
tetris.game: fix tests.
2020-02-12 08:38:41 -08:00
John Benediktsson
bd0369e4e1
x11.xim: fix use of flags.
2020-02-12 08:37:13 -08:00
John Benediktsson
2e644a2c7b
tetris: some cleanup, simplify.
2020-02-11 13:57:19 -08:00
John Benediktsson
d2ab01a5d9
core/basis/extra: use flags{ } in places.
2020-02-11 13:27:42 -08:00
John Benediktsson
fe929be0f4
io.directories.windows: don't need to wrap.
2020-02-11 13:25:44 -08:00
John Benediktsson
4e91f55f1e
vocabs.hierarchy: change sorting to sort visible-dirs.
2020-02-09 10:00:18 -08:00
John Benediktsson
1a1ee4b4a8
vocabs.hierarchy: faster all-disk-vocabs-recursive.
...
The old technique caused a high amount of redundant ``exists?`` checks,
even though we are traversing the directory tree. That happens to be a
little slow on Windows, for some pathological reason, the first time
it's run. This should make it better while we also investigate why
``windows_stat`` is slower in that case.
2020-02-09 09:04:14 -08:00