]> gitweb.factorcode.org Git - factor.git/log
factor.git
4 years agowindows: Fix user32/shcore DPI functions.
Doug Coleman [Tue, 10 Mar 2020 00:39:32 +0000 (19:39 -0500)]
windows: Fix user32/shcore DPI functions.

4 years agonmake: Fix caching on Windows when compiling without a manifest.
Doug Coleman [Mon, 9 Mar 2020 22:26:11 +0000 (17:26 -0500)]
nmake: Fix caching on Windows when compiling without a manifest.

4 years agowindows: Add a bunch of HighDPI functions.
Doug Coleman [Sat, 7 Mar 2020 19:26:25 +0000 (13:26 -0600)]
windows: Add a bunch of HighDPI functions.

4 years agovm: Add AS_UTF and use it to print wchar_t in Windows terminal.
Doug Coleman [Sat, 7 Mar 2020 05:57:57 +0000 (23:57 -0600)]
vm: Add AS_UTF and use it to print wchar_t in Windows terminal.

There may be more places to add AS_UTF8 calls--anywhere that prints a
wchar_t string in the Windows vm.

Fixes #992.

4 years agoNmakefile: Add default flags and add command to add the manifest to .exe
Doug Coleman [Sat, 7 Mar 2020 05:33:26 +0000 (23:33 -0600)]
Nmakefile: Add default flags and add command to add the manifest to .exe

The manifest is disabled for now, but once we fix the resolution we
should enable it.

to test:
nmake /f Nmakefile factor.exe.manifest

Right now the UI looks tiny if you compile for the factor.exe and
include the manifest.

Lastly, sorry for the WIP but it seems pretty harmless and has been
sitting in a branch for almost three years.

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.