John Benediktsson
|
61102548f4
|
help.lint.coverage: change $values to $inputs and $outputs.
|
2020-05-22 08:06:36 -07:00 |
|
John Benediktsson
|
eded28cc74
|
help: splitting $values into $inputs and $outputs.
This is an automatic conversion, so we can keep writing docs the way we
have been.
|
2020-05-21 19:47:28 -07:00 |
|
John Benediktsson
|
27215982e6
|
help.html: copy image resources to output directory.
This helps avoid needing so many different static responders in
webapps.help, and makes the documentation more self-contained.
|
2020-05-21 19:17:56 -07:00 |
|
John Benediktsson
|
da8a378b38
|
ui.tools.error-list: changing icons from tiff to png.
|
2020-05-21 17:31:41 -07:00 |
|
John Benediktsson
|
4e498ad3b7
|
webapps.help: whoops.
|
2020-05-21 17:25:03 -07:00 |
|
John Benediktsson
|
2e2f1d673a
|
help.html: support ui/tools/error-list/icons also.
|
2020-05-21 17:23:47 -07:00 |
|
John Benediktsson
|
868d970784
|
html.streams: move icon src mapping to help.html.
|
2020-05-21 17:19:36 -07:00 |
|
John Benediktsson
|
d2114e913c
|
syntax: allow anonymous MAIN:.
|
2020-05-21 14:19:43 -07:00 |
|
John Benediktsson
|
551e079da8
|
webbrowser: adding MAIN.
|
2020-05-20 20:26:02 -07:00 |
|
John Benediktsson
|
15b0f07b37
|
metar: add a main.
|
2020-05-20 19:47:47 -07:00 |
|
John Benediktsson
|
918436af7e
|
websites.factorcode: update macos screenshot.
|
2020-05-20 11:11:57 -07:00 |
|
John Benediktsson
|
721cb84d2a
|
definitions.icons: lighter open-vocab/unopen-vocab.
|
2020-05-20 10:46:34 -07:00 |
|
John Benediktsson
|
e3fb39e3fe
|
definitions.icons: prefer more isometric vocab icons.
|
2020-05-20 09:33:54 -07:00 |
|
John Benediktsson
|
b277d96065
|
definitions.icons: fix unopen-vocab.png.
|
2020-05-19 21:46:46 -07:00 |
|
John Benediktsson
|
ba80c1b6d6
|
definitions.icons: fix some 1x images.
|
2020-05-19 21:45:26 -07:00 |
|
John Benediktsson
|
e28bcd400b
|
help.html: use @2x images.
|
2020-05-19 20:53:08 -07:00 |
|
John Benediktsson
|
149cc270ff
|
ui.images: fix for gl-scale-factor not being set.
|
2020-05-19 19:10:51 -07:00 |
|
John Benediktsson
|
27c9792108
|
ui.images: load 1x or 2x graphics.
|
2020-05-19 19:00:25 -07:00 |
timor
|
01a389cb68
|
compiler.tree.propagation.slots: remove unused word
The last use of `length-accessor?` has been removed in
8e227bc874, which obsoleted the `length` slot.
|
2020-05-19 10:18:15 -07:00 |
|
John Benediktsson
|
e065e5b315
|
ui.theme: fix help-path-border-color to match toolbar-background.
|
2020-05-19 10:15:50 -07:00 |
|
John Benediktsson
|
1b007dd7fc
|
Revert "ui.pens.image: allow float math."
This reverts commit 2d71fd9e22.
|
2020-05-19 10:00:05 -07:00 |
|
John Benediktsson
|
fd4ddf588f
|
ui: update more icons, including ui.tools.error-list.
|
2020-05-19 09:46:43 -07:00 |
|
John Benediktsson
|
1a3d061954
|
definitions.icons: minor tweak.
|
2020-05-19 08:25:49 -07:00 |
|
John Benediktsson
|
466f599d11
|
definitions.icons: minor tweaks.
|
2020-05-19 08:08:12 -07:00 |
|
John Benediktsson
|
dc584bb671
|
unix.signals: bump time on tests.
|
2020-05-19 07:49:56 -07:00 |
|
John Benediktsson
|
cc823e7db1
|
tools.profiler.sampling: bump runtime.
|
2020-05-19 07:46:25 -07:00 |
|
John Benediktsson
|
221b222f86
|
Revert "ui.baseline-alignment: allow floats in alignment."
This reverts commit c37e9551ad.
|
2020-05-19 07:41:06 -07:00 |
|
John Benediktsson
|
1ee94a168b
|
ui.theme.images: minor scroll arrow fixes.
|
2020-05-18 21:20:10 -07:00 |
|
John Benediktsson
|
44003d802f
|
ui.theme.images: minor cleanup.
|
2020-05-18 21:09:37 -07:00 |
|
John Benediktsson
|
2d71fd9e22
|
ui.pens.image: allow float math.
|
2020-05-18 20:57:03 -07:00 |
|
John Benediktsson
|
cf5bc20b1b
|
ui.gadgets.icons: draw icon on top of selected background.
|
2020-05-18 20:56:25 -07:00 |
|
John Benediktsson
|
c37e9551ad
|
ui.baseline-alignment: allow floats in alignment.
|
2020-05-18 20:53:14 -07:00 |
|
John Benediktsson
|
c0ab4beb0c
|
help.html: set the sizes of 2x definition icons.
|
2020-05-18 20:46:27 -07:00 |
|
John Benediktsson
|
65a3f0b6f4
|
ui.images: load all UI images as 2x for retina displays.
|
2020-05-18 20:45:58 -07:00 |
|
John Benediktsson
|
9635596b0b
|
ui.gadgets.labels: only ceiling the height for now.
This might align to every other pixel on a 2x display but it fixes some
rendering artifacts with borders on subpixel boundaries.
|
2020-05-18 08:06:08 -07:00 |
|
John Benediktsson
|
06ff539b17
|
Revert "ui.gadgets.labels: make labels integer larger than text."
This reverts commit 0b294c5d50.
|
2020-05-18 08:02:06 -07:00 |
|
John Benediktsson
|
5d4a0b4f00
|
ui.gadgets.tracks: don't convert dims to floats in track-pref-dims-2.
|
2020-05-17 20:47:22 -07:00 |
|
John Benediktsson
|
eb7aad96c0
|
ui.gadgets.borders: don't convert border-loc to fixnum.
|
2020-05-17 20:45:49 -07:00 |
|
John Benediktsson
|
0b294c5d50
|
ui.gadgets.labels: make labels integer larger than text.
|
2020-05-17 20:44:21 -07:00 |
|
John Benediktsson
|
65d7e3fad1
|
build.sh: make_boot_image can just use -run=bootstrap.image.
|
2020-05-17 19:55:59 -07:00 |
|
John Benediktsson
|
d85d3e861c
|
bootstrap.image: allow making other images in main.
|
2020-05-17 19:54:33 -07:00 |
Doug Coleman
|
160d1b4415
|
build.sh: Add self-bootstrap option.
|
2020-05-16 14:52:02 -05:00 |
|
Doug Coleman
|
75d8607643
|
build.sh: Only pull into current branch so we don't end up merging
|
2020-05-16 14:51:53 -05:00 |
|
John Benediktsson
|
abb1755311
|
logic.examples.money: use lnth and leach.
|
2020-05-16 11:26:16 -07:00 |
|
John Benediktsson
|
457485dae7
|
ui.gadgets.labels: allow sub-pixel baseline and cap-height.
|
2020-05-16 11:18:11 -07:00 |
|
John Benediktsson
|
5f89facf9e
|
basis/extra: replace "/ >integer" with "/i" in a few places.
|
2020-05-16 11:17:42 -07:00 |
|
John Benediktsson
|
68f6eeb3ad
|
ui.gadgets.packs: change pack-layout not to round.
|
2020-05-16 11:10:18 -07:00 |
|
John Benediktsson
|
7b023ad59d
|
brainfuck: inline (?) because it's not a language command.
|
2020-05-16 10:13:10 -07:00 |
|
John Benediktsson
|
b3412e8930
|
ui.gadgets: formatting.
|
2020-05-16 10:07:35 -07:00 |
|
John Benediktsson
|
33e72abff9
|
ui.baseline-alignment: better stack effects.
|
2020-05-16 10:05:11 -07:00 |