]> gitweb.factorcode.org Git - factor.git/log
factor.git
4 years agowindows; add functions to determine DPI scaling
Benjamin Pollack [Sun, 8 Jan 2017 01:52:01 +0000 (20:52 -0500)]
windows; add functions to determine DPI scaling

4 years agocache: Don't use in-place filter
Niklas Larsson [Thu, 31 Oct 2019 12:34:42 +0000 (13:34 +0100)]
cache: Don't use in-place filter

This solves a UI corruption problem by not reusing the hashtable when
purging the cache. The root cause of why the hashtable gets corrupted
when filtering in place hasn't been found.

Fixes #1978.

4 years agoAdded instructions on fetching replace objects for source history
nomennescio [Mon, 21 Oct 2019 13:53:16 +0000 (15:53 +0200)]
Added instructions on fetching replace objects for source history

4 years agoimages.loader: Windows can save bmp files.
Doug Coleman [Sat, 7 Mar 2020 04:59:30 +0000 (22:59 -0600)]
images.loader: Windows can save bmp files.

If there is a crasher, we can debug it.

4 years agoui.render.test: Replace reference image with an uncorrupted one.
Doug Coleman [Sat, 7 Mar 2020 01:35:24 +0000 (19:35 -0600)]
ui.render.test: Replace reference image with an uncorrupted one.

To generate a rendering image:

USE: ui.render.test
"ui-render-test" run
render-output get-global "resource:reference.bmp" save-graphic-image

Fixes #2210.

4 years agoimages.loader.gdiplus: Allow writing .bmp and do a better lookup.
Doug Coleman [Sat, 7 Mar 2020 01:34:41 +0000 (19:34 -0600)]
images.loader.gdiplus: Allow writing .bmp and do a better lookup.

4 years agoui.gadgets: Stale gestures can lose the associated gadget.
Doug Coleman [Sat, 7 Mar 2020 01:05:27 +0000 (19:05 -0600)]
ui.gadgets: Stale gestures can lose the associated gadget.

The gesture queue can send messages where the
focusable-child has disappeared.

Handle ``M: f focusable-child*`` by doing nothing.

Fixes #2117.

4 years agowindows.ole32: Add more LONG: constants.
Doug Coleman [Sat, 7 Mar 2020 01:05:07 +0000 (19:05 -0600)]
windows.ole32: Add more LONG: constants.

4 years agowindows.ole32: Add more error constants as long.
Doug Coleman [Fri, 6 Mar 2020 23:23:39 +0000 (17:23 -0600)]
windows.ole32: Add more error constants as long.

These are -2B..2B instead of positive integers because long is s32 on
Windows.

4 years agovocabs.metadata: cleanup a couple uses of metadata paths.
John Benediktsson [Thu, 5 Mar 2020 17:33:41 +0000 (09:33 -0800)]
vocabs.metadata: cleanup a couple uses of metadata paths.

4 years agovocabs.metadata: cleanup paths to be fully specified.
John Benediktsson [Thu, 5 Mar 2020 16:59:36 +0000 (08:59 -0800)]
vocabs.metadata: cleanup paths to be fully specified.

4 years agoui.gadgets.panes: fix tests under dark-theme.
John Benediktsson [Tue, 3 Mar 2020 23:23:18 +0000 (15:23 -0800)]
ui.gadgets.panes: fix tests under dark-theme.

4 years agopdf: heuristic for dealing with table wrapping.
John Benediktsson [Tue, 3 Mar 2020 19:31:00 +0000 (11:31 -0800)]
pdf: heuristic for dealing with table wrapping.

4 years agopdf.values: fix names for some fonts.
John Benediktsson [Tue, 3 Mar 2020 19:09:11 +0000 (11:09 -0800)]
pdf.values: fix names for some fonts.

4 years agohelp.pdf: use 1.25 line-height on pdf.
John Benediktsson [Tue, 3 Mar 2020 17:46:45 +0000 (09:46 -0800)]
help.pdf: use 1.25 line-height on pdf.

4 years agopdf.canvas: add concept of line-height multiplier.
John Benediktsson [Tue, 3 Mar 2020 17:46:32 +0000 (09:46 -0800)]
pdf.canvas: add concept of line-height multiplier.

4 years agologic.examples: cleanup, make hanoi tests assert output.
John Benediktsson [Tue, 3 Mar 2020 16:09:52 +0000 (08:09 -0800)]
logic.examples: cleanup, make hanoi tests assert output.

4 years agologic.factor: [ quot call( -- ) ] --> quot
kusumotonorio [Tue, 3 Mar 2020 12:16:52 +0000 (21:16 +0900)]
logic.factor: [ quot call( -- ) ] --> quot

4 years agofactlog vocab ==> logic vocab
kusumotonorio [Tue, 3 Mar 2020 12:04:46 +0000 (21:04 +0900)]
factlog vocab ==> logic vocab

4 years agoRename directory, files.
kusumotonorio [Tue, 3 Mar 2020 12:03:14 +0000 (21:03 +0900)]
Rename directory, files.

4 years agocatb0t's PR: add a Prolog-like %! ... multiline comment #6
kusumotonorio [Mon, 2 Mar 2020 11:21:17 +0000 (20:21 +0900)]
catb0t's PR: add a Prolog-like %! ...  multiline comment #6

4 years agofactlog
kusumotonorio [Sun, 1 Mar 2020 09:19:07 +0000 (18:19 +0900)]
factlog

4 years agohtml.templates.chloe: adding missing tests.
John Benediktsson [Tue, 3 Mar 2020 03:01:01 +0000 (19:01 -0800)]
html.templates.chloe: adding missing tests.

4 years agowebapps.planet: use factor color.
John Benediktsson [Tue, 3 Mar 2020 01:07:30 +0000 (17:07 -0800)]
webapps.planet: use factor color.

4 years agowebapps.wiki: remove footer border-top.
John Benediktsson [Tue, 3 Mar 2020 01:03:25 +0000 (17:03 -0800)]
webapps.wiki: remove footer border-top.

4 years agowebsites.concatenative: navbar background.
John Benediktsson [Tue, 3 Mar 2020 01:01:01 +0000 (17:01 -0800)]
websites.concatenative: navbar background.

4 years agowebapps.wiki: better spacing on article list.
John Benediktsson [Tue, 3 Mar 2020 00:07:09 +0000 (16:07 -0800)]
webapps.wiki: better spacing on article list.

4 years agohtml.templates: adding meta tag and some chloe tests.
John Benediktsson [Mon, 2 Mar 2020 23:57:19 +0000 (15:57 -0800)]
html.templates: adding meta tag and some chloe tests.

4 years agotools.errors: fix to match current behavior: "show".
John Benediktsson [Mon, 2 Mar 2020 23:40:37 +0000 (15:40 -0800)]
tools.errors: fix to match current behavior: "show".

4 years agobootstrap.image: add make-my-image to docs.
John Benediktsson [Mon, 2 Mar 2020 23:40:22 +0000 (15:40 -0800)]
bootstrap.image: add make-my-image to docs.

4 years agowebapps: remove floating factorcode.org links.
John Benediktsson [Mon, 2 Mar 2020 23:39:53 +0000 (15:39 -0800)]
webapps: remove floating factorcode.org links.

4 years agowebapps.help: matching style for navbar.
John Benediktsson [Mon, 2 Mar 2020 16:48:25 +0000 (08:48 -0800)]
webapps.help: matching style for navbar.

4 years agowebsites.concatenative: make navbar use line-height.
John Benediktsson [Mon, 2 Mar 2020 16:44:17 +0000 (08:44 -0800)]
websites.concatenative: make navbar use line-height.

4 years agowebapps.wiki: 24px hamburger instead of 32px.
John Benediktsson [Mon, 2 Mar 2020 16:40:23 +0000 (08:40 -0800)]
webapps.wiki: 24px hamburger instead of 32px.

4 years agowebapps.help: responsive search.
John Benediktsson [Mon, 2 Mar 2020 15:03:55 +0000 (07:03 -0800)]
webapps.help: responsive search.

4 years agoextra: moving hash-sets.numbers, hashtables.numbers to basis.
John Benediktsson [Mon, 2 Mar 2020 04:50:58 +0000 (20:50 -0800)]
extra: moving hash-sets.numbers, hashtables.numbers to basis.

4 years agohelp.html: move pre-wrap to css style fixup.
John Benediktsson [Mon, 2 Mar 2020 02:32:47 +0000 (18:32 -0800)]
help.html: move pre-wrap to css style fixup.

4 years agohtml.streams: fix tests.
John Benediktsson [Mon, 2 Mar 2020 02:32:35 +0000 (18:32 -0800)]
html.streams: fix tests.

4 years agowebapps.planet: a bit more style.
John Benediktsson [Sun, 1 Mar 2020 22:41:03 +0000 (14:41 -0800)]
webapps.planet: a bit more style.

4 years agowebapps.planet: more responsive css.
John Benediktsson [Sun, 1 Mar 2020 22:35:04 +0000 (14:35 -0800)]
webapps.planet: more responsive css.

4 years agowebapps.planet: use div to style post body.
John Benediktsson [Sun, 1 Mar 2020 21:49:06 +0000 (13:49 -0800)]
webapps.planet: use div to style post body.

4 years agowebapps.pastebin: more padding.
John Benediktsson [Sun, 1 Mar 2020 21:46:41 +0000 (13:46 -0800)]
webapps.pastebin: more padding.

4 years agowebapps.wiki: style the header.
John Benediktsson [Sun, 1 Mar 2020 21:46:27 +0000 (13:46 -0800)]
webapps.wiki: style the header.

4 years agowebapps.wiki: tweak line-height to fix issue with title.
John Benediktsson [Sun, 1 Mar 2020 21:31:08 +0000 (13:31 -0800)]
webapps.wiki: tweak line-height to fix issue with title.

4 years agowebapps.wiki: simplify and fix resize issue on mobile.
John Benediktsson [Sun, 1 Mar 2020 20:20:32 +0000 (12:20 -0800)]
webapps.wiki: simplify and fix resize issue on mobile.

4 years agowebapps.wiki: some responsive css (and JS for hamburger menu).
John Benediktsson [Sun, 1 Mar 2020 20:12:08 +0000 (12:12 -0800)]
webapps.wiki: some responsive css (and JS for hamburger menu).

4 years agowebsites.concatenative: write script (if any) from children.
John Benediktsson [Sun, 1 Mar 2020 20:11:31 +0000 (12:11 -0800)]
websites.concatenative: write script (if any) from children.

4 years agohtml.templates: adding t:script and t:write-script.
John Benediktsson [Sun, 1 Mar 2020 20:05:59 +0000 (12:05 -0800)]
html.templates: adding t:script and t:write-script.

4 years agohelp.html: more responsive help docs.
John Benediktsson [Sun, 1 Mar 2020 18:26:47 +0000 (10:26 -0800)]
help.html: more responsive help docs.

4 years agohtml.streams: monospace uses pre-wrap, wrap-margin sets width.
John Benediktsson [Sun, 1 Mar 2020 17:57:10 +0000 (09:57 -0800)]
html.streams: monospace uses pre-wrap, wrap-margin sets width.

4 years agomath.matrices: fix/rename mnorm, update all norms
Cat Stevens [Sun, 1 Mar 2020 02:46:38 +0000 (21:46 -0500)]
math.matrices: fix/rename mnorm, update all norms

closes #2244

- `mnorm` has been renamed to `normalize-matrix`
to reflect what it actually does, which
is normalize a matrix, not find a norm
of a matrix.

- `mnorm` is no longer a word defined here.

- bugfix: previously, `normalize-matrix` found
the supremum of a matrix (`mmax`),
before taking the supremum's absolute
value (`abs`) and dividing the matrix
by it (`m/n`).
for matrices containing only negative
values and 0, the supremum is 0, and
a `div-by-zero` error was thrown.

`normalize-matrix` has been fixed to
first `abs` all the matrix elements,
and then find the supremum and divide,

it also receieved a zero-matrix? guard
for optimization and preventing
`div-by-zero`.

- new alias: `hilbert-schmidt-norm` for
`frobenius-norm`,  to go along with
`math.matrices.extras.<hilbert-matrix>`
and improve searchability by physicists.

- new word: `matrix-p-norm`, written as an
analogue of `math.vectors.p-norm`.

- new word: `matrix-p-q-norm`, which generalizes
entrywise matrix norm over the L^p,q
vector space.

- new word: `matrix-p-norm-entrywise`:
`matrix-p-norm`'s fallback
for p =/= 1, 2, inf; analogue of
`math.vectors.p-norm-default`.

- all norm words have gotten new docs,
`zero-matrix?` guards as an optimisation,
and most have gotten new tests.

4 years agowebsites.concatenative: fix for xhtml.
John Benediktsson [Sat, 29 Feb 2020 16:25:52 +0000 (08:25 -0800)]
websites.concatenative: fix for xhtml.

4 years agowebsites.concatenative: device viewport css.
John Benediktsson [Sat, 29 Feb 2020 16:25:16 +0000 (08:25 -0800)]
websites.concatenative: device viewport css.

4 years agowebsites.factorcode: some downloads style.
John Benediktsson [Sat, 29 Feb 2020 16:21:41 +0000 (08:21 -0800)]
websites.factorcode: some downloads style.

4 years agowebsites.factorcode: give logo a width also.
John Benediktsson [Sat, 29 Feb 2020 16:14:10 +0000 (08:14 -0800)]
websites.factorcode: give logo a width also.

4 years agowebsites.factorcode: better mobile responsive css.
John Benediktsson [Sat, 29 Feb 2020 16:06:59 +0000 (08:06 -0800)]
websites.factorcode: better mobile responsive css.

4 years agoprettyprint.backend: make +nil+ render as L{ }.
John Benediktsson [Sat, 29 Feb 2020 15:16:46 +0000 (07:16 -0800)]
prettyprint.backend: make +nil+ render as L{ }.

4 years agowebsites.factorcode: tinypng the logo.
John Benediktsson [Fri, 28 Feb 2020 22:25:35 +0000 (14:25 -0800)]
websites.factorcode: tinypng the logo.

4 years agowebsites.factorcode: more examples.
John Benediktsson [Fri, 28 Feb 2020 21:16:58 +0000 (13:16 -0800)]
websites.factorcode: more examples.

4 years agowebsites.factorcode: more examples.
John Benediktsson [Fri, 28 Feb 2020 21:04:46 +0000 (13:04 -0800)]
websites.factorcode: more examples.

4 years agowebsites.factorcode: smaller fonts in downloads table.
John Benediktsson [Fri, 28 Feb 2020 20:03:07 +0000 (12:03 -0800)]
websites.factorcode: smaller fonts in downloads table.

4 years agoui.gadgets.paragraphs: need to merge height/metrics.
John Benediktsson [Fri, 28 Feb 2020 05:53:39 +0000 (21:53 -0800)]
ui.gadgets.paragraphs: need to merge height/metrics.

Sometimes cap-height is false and we handle that differently.

4 years agohelp.html: default font size should be 12pt, less line-height for pre.
John Benediktsson [Fri, 28 Feb 2020 05:44:32 +0000 (21:44 -0800)]
help.html: default font size should be 12pt, less line-height for pre.

4 years agoui.gadgets.paragraphs: faster pref-dim.
John Benediktsson [Fri, 28 Feb 2020 02:10:37 +0000 (18:10 -0800)]
ui.gadgets.paragraphs: faster pref-dim.

Now computing gadget-metrics once, before called (measure-metrics) twice,
the first time adding the result, the second time dropping the top of stack.

4 years agowebapps: pre tag line-height.
John Benediktsson [Fri, 28 Feb 2020 01:25:20 +0000 (17:25 -0800)]
webapps: pre tag line-height.

4 years agowebapps.wiki: moving class description to wiki.css.
John Benediktsson [Fri, 28 Feb 2020 01:21:33 +0000 (17:21 -0800)]
webapps.wiki: moving class description to wiki.css.

4 years agohelp.html: raise line-height to 150%.
John Benediktsson [Fri, 28 Feb 2020 00:49:48 +0000 (16:49 -0800)]
help.html: raise line-height to 150%.

4 years agoRevert "webapps.help: just include the original css instead of duplicating."
John Benediktsson [Fri, 28 Feb 2020 00:41:20 +0000 (16:41 -0800)]
Revert "webapps.help: just include the original css instead of duplicating."

This reverts commit 77b0c45a1399a1712416456f1a2127819c308190.

4 years agowebapps.help: just include the original css instead of duplicating.
John Benediktsson [Fri, 28 Feb 2020 00:27:15 +0000 (16:27 -0800)]
webapps.help: just include the original css instead of duplicating.

4 years agowebapps.help: sync with help.html.
John Benediktsson [Fri, 28 Feb 2020 00:09:03 +0000 (16:09 -0800)]
webapps.help: sync with help.html.

4 years agohelp.html: less css reset.
John Benediktsson [Fri, 28 Feb 2020 00:08:33 +0000 (16:08 -0800)]
help.html: less css reset.

4 years agowebsites.concatenative: move container div to page.xml.
John Benediktsson [Thu, 27 Feb 2020 23:11:55 +0000 (15:11 -0800)]
websites.concatenative: move container div to page.xml.

4 years agowebapps.planet: minor fixes.
John Benediktsson [Thu, 27 Feb 2020 22:44:19 +0000 (14:44 -0800)]
webapps.planet: minor fixes.

4 years agowebapps.pastebin: updated css style.
John Benediktsson [Thu, 27 Feb 2020 22:44:05 +0000 (14:44 -0800)]
webapps.pastebin: updated css style.

4 years agowebapps.planet: use protocol agnostic link.
John Benediktsson [Thu, 27 Feb 2020 22:41:13 +0000 (14:41 -0800)]
webapps.planet: use protocol agnostic link.

4 years agohelp.html: use protocol agnostic link.
John Benediktsson [Thu, 27 Feb 2020 22:40:50 +0000 (14:40 -0800)]
help.html: use protocol agnostic link.

4 years agowebapps.planet: some css cleanup.
John Benediktsson [Thu, 27 Feb 2020 22:28:51 +0000 (14:28 -0800)]
webapps.planet: some css cleanup.

4 years agohelp.html: make these match new wiki css.
John Benediktsson [Thu, 27 Feb 2020 21:15:53 +0000 (13:15 -0800)]
help.html: make these match new wiki css.

4 years agowebapps.wiki: forgot this file.
John Benediktsson [Thu, 27 Feb 2020 20:49:46 +0000 (12:49 -0800)]
webapps.wiki: forgot this file.

4 years agowebsites.concatenative: cleanup css a bit.
John Benediktsson [Thu, 27 Feb 2020 20:49:22 +0000 (12:49 -0800)]
websites.concatenative: cleanup css a bit.

4 years agoextra: Finish renaming a couple words
Doug Coleman [Thu, 27 Feb 2020 01:04:31 +0000 (01:04 +0000)]
extra: Finish renaming a couple words

4 years agowebsites.factorcode: a couple more examples.
John Benediktsson [Thu, 27 Feb 2020 01:00:07 +0000 (17:00 -0800)]
websites.factorcode: a couple more examples.

4 years agowebsites.factorcode: first pass cleanup of website.
John Benediktsson [Thu, 27 Feb 2020 00:46:05 +0000 (16:46 -0800)]
websites.factorcode: first pass cleanup of website.

4 years agomath.vectors: rename "h." to "hdot"
John Benediktsson [Wed, 26 Feb 2020 21:06:52 +0000 (13:06 -0800)]
math.vectors: rename "h." to "hdot"

4 years agomath.vectors.simd: fix typo in simd vdot intrinsic.
John Benediktsson [Wed, 26 Feb 2020 20:56:52 +0000 (12:56 -0800)]
math.vectors.simd: fix typo in simd vdot intrinsic.

4 years agomath.matrices: rename m./m.v/v.m to mdot/mdotv/vdotm.
John Benediktsson [Wed, 26 Feb 2020 20:51:04 +0000 (12:51 -0800)]
math.matrices: rename m./m.v/v.m to mdot/mdotv/vdotm.

4 years agomath.vectors: rename "v." to "vdot"
John Benediktsson [Wed, 26 Feb 2020 20:40:16 +0000 (12:40 -0800)]
math.vectors: rename "v." to "vdot"

4 years agohelp.markup: make sure lists wrap wider.
John Benediktsson [Wed, 26 Feb 2020 20:02:20 +0000 (12:02 -0800)]
help.markup: make sure lists wrap wider.

4 years agofjsc: remove unnecessary stack effects on generic words.
John Benediktsson [Wed, 26 Feb 2020 19:34:23 +0000 (11:34 -0800)]
fjsc: remove unnecessary stack effects on generic words.

4 years agocalendar: remove unnecessary effects on generics.
John Benediktsson [Wed, 26 Feb 2020 19:34:02 +0000 (11:34 -0800)]
calendar: remove unnecessary effects on generics.

4 years agoprettyprint.stylesheet: s/stack-effect-style/base-effect/style/.
John Benediktsson [Wed, 26 Feb 2020 19:18:18 +0000 (11:18 -0800)]
prettyprint.stylesheet: s/stack-effect-style/base-effect/style/.

4 years agohelp.markup: cleanup using.
John Benediktsson [Wed, 26 Feb 2020 19:08:13 +0000 (11:08 -0800)]
help.markup: cleanup using.

4 years agoprettyprint.stylesheet: change stack effects to not be green.
John Benediktsson [Wed, 26 Feb 2020 19:07:46 +0000 (11:07 -0800)]
prettyprint.stylesheet: change stack effects to not be green.

4 years agocore/basis/extra: update some tags.txt.
John Benediktsson [Wed, 26 Feb 2020 18:57:08 +0000 (10:57 -0800)]
core/basis/extra: update some tags.txt.

4 years agoxml.writer: remove M\ number write-xml.
John Benediktsson [Wed, 26 Feb 2020 18:24:23 +0000 (10:24 -0800)]
xml.writer: remove M\ number write-xml.

This is likely an artifact from when numbers were treated as sequences,
which isn't needed anymore.

4 years agohelp.html: assume even padding started out odd.
John Benediktsson [Wed, 26 Feb 2020 18:03:35 +0000 (10:03 -0800)]
help.html: assume even padding started out odd.

4 years agohelp.html: clone attrs in css-styles-to-classes and double padding.
John Benediktsson [Wed, 26 Feb 2020 17:44:14 +0000 (09:44 -0800)]
help.html: clone attrs in css-styles-to-classes and double padding.

4 years agohelp.markup: change $breadcrumbs to unicode.
John Benediktsson [Wed, 26 Feb 2020 17:40:27 +0000 (09:40 -0800)]
help.markup: change $breadcrumbs to unicode.

4 years agoui.tools.browser: use unicode next/prev arrows.
John Benediktsson [Wed, 26 Feb 2020 17:22:48 +0000 (09:22 -0800)]
ui.tools.browser: use unicode next/prev arrows.

4 years agoui.gadgets.panes: simplify <styled-label>.
John Benediktsson [Tue, 25 Feb 2020 20:33:01 +0000 (12:33 -0800)]
ui.gadgets.panes: simplify <styled-label>.