Commit Graph

  • 440b56a9f0 misc/vim: dos2unix factor-docs.vim. John Benediktsson 2020-06-08 11:08:30 -0700
  • d9210f738d editors.vim.generate-syntax: merge in factor.vim.fgen. John Benediktsson 2020-06-08 11:06:22 -0700
  • b0b5c31821 build.sh: Change WORD size detection to use preprocessor. Doug Coleman 2020-06-07 11:30:43 -0500
  • 70cf73b032 fixup! [misc] vim/syntax: Fixups Dusk 2020-06-06 19:04:05 -0700
  • f70ce01b51 editors.vim.generate-syntax: Match new generation Dusk 2020-06-06 20:24:56 -0700
  • 35b8621306 [misc] vim/syntax: Fixups Dusk 2020-06-06 19:04:05 -0700
  • 0a8cb5f2c1 misc: adding a syntax-test file. John Benediktsson 2020-06-06 19:04:21 -0700
  • 61635500f2 vim: missed a char in 0b fix. John Benediktsson 2020-06-06 19:02:21 -0700
  • ddf498d5ad vim: fix syntax highlighting of CHAR:, 0b, NAN:. John Benediktsson 2020-06-06 19:00:41 -0700
  • 14b1418f6a [misc] vim/syntax: Overhaul syntax highlighting Dusk 2020-06-05 01:21:55 -0700
  • 35799f8d2d [misc] vim/syntax: Avoid extra group captures Dusk 2020-05-30 23:27:10 -0700
  • 686f707078 [misc] vim/syntax: Very magic patterns Dusk 2020-05-30 21:17:26 -0700
  • 11757d87fb [misc] vim/syntax: Proper comment precedence Dusk 2020-05-29 17:57:02 -0700
  • 710b54869a [misc] vim: Hygenic text width highlights Dusk 2020-05-29 16:47:22 -0700
  • 35681032d9 ui.tools.listener: change previous/next line to multiline-editor. John Benediktsson 2020-06-06 16:47:30 -0700
  • 02386eebcc ui.tools.listener: document emacs-style keybindings for now. John Benediktsson 2020-06-06 16:28:40 -0700
  • 4f51adf8bf Revert "ui: better support for Emacs-style key bindings." John Benediktsson 2020-06-06 16:20:21 -0700
  • e446f34280 Revert "ui.gadgets.editors: adding Ctrl-u support." John Benediktsson 2020-06-06 16:19:51 -0700
  • 5c04baf757 Revert "ui.gadgets.editors: make Ctrl-A select-all if at column 0." John Benediktsson 2020-06-06 16:19:50 -0700
  • 43c2ffead2 Revert "ui.tools: change Alt- to Ctrl-Shift- for tools." John Benediktsson 2020-06-06 16:19:43 -0700
  • a9ad206edc ui.backend.gtk: don't let input-methods steal key-presses. John Benediktsson 2020-06-06 16:09:15 -0700
  • 9c3908e003 ui.tools: change Alt- to Ctrl-Shift- for tools. John Benediktsson 2020-05-29 14:59:45 -0700
  • 9287b05d57 ui.gadgets.editors: make Ctrl-A select-all if at column 0. John Benediktsson 2020-05-29 14:56:58 -0700
  • 09c867f747 images.pbm: use not. John Benediktsson 2020-05-28 09:13:51 -0700
  • 6e23222187 logic: use not. John Benediktsson 2020-05-28 09:13:44 -0700
  • 046d128c97 ui.gadgets.editors: adding Ctrl-u support. John Benediktsson 2020-05-27 20:01:33 -0700
  • 928b4c6abc ui: better support for Emacs-style key bindings. John Benediktsson 2020-05-27 19:49:30 -0700
  • 32fa577368 ui.gadgets.editors: can just use preedit-start>> as boolean. John Benediktsson 2020-05-27 12:52:45 -0700
  • 258d7e05d6 models: cleanup docs for $slots. John Benediktsson 2020-05-27 12:51:31 -0700
  • 82a34fe4b8 ui.gadgets.editors: fix off-by-one. John Benediktsson 2020-05-27 11:50:04 -0700
  • c781933d6b ui.gadgets.editors: fix page-up/page-down behavior. John Benediktsson 2020-05-27 11:43:29 -0700
  • f2189a32f4 ui.gadgets.editors: cleanup docs for $slots. John Benediktsson 2020-05-27 11:43:12 -0700
  • c8afb239a0 ui.gestures: clean docs for $slots. John Benediktsson 2020-05-27 11:18:20 -0700
  • d0a694a7fe ui.gadgets.tables: change hook>> to be called on all row-actions. John Benediktsson 2020-05-27 09:58:07 -0700
  • 75d5a8a8f9 ui.gadgets.tables: cleanup docs for $slots. John Benediktsson 2020-05-27 09:51:01 -0700
  • 3ee93ee68d lexer: cleanup docs for $slots. John Benediktsson 2020-05-27 09:47:38 -0700
  • 10e19a3944 threads: cleanup docs for $slots. John Benediktsson 2020-05-27 09:47:29 -0700
  • 0fb44180c0 db.sqlite.ffi: Update the sqlite3 bindings a bit. Doug Coleman 2020-05-26 21:16:11 -0500
  • 130c1d8dd6 ui.gadgets.editors: fix page-up/page-down with one line. John Benediktsson 2020-05-26 10:53:16 -0700
  • 8f3ce6f49a punycode: adding basic support for Punycode (RFC 3492). John Benediktsson 2020-05-26 10:05:09 -0700
  • b1f29dc497 ui.backend.x11.keys: Enable numpad navigation keys for when numlock is off. Doug Coleman 2020-05-22 18:04:06 -0500
  • 131c91b786 gesture-logger: Add as a demo! Doug Coleman 2020-05-22 17:52:34 -0500
  • 02dd86a37d help.html: better tests, don't just drop the result. John Benediktsson 2020-05-22 16:01:25 -0700
  • 0db8b2d012 help: some test fixes for recent behavior changes. John Benediktsson 2020-05-22 14:41:00 -0700
  • ad1e4dcd11 help: change the "help" word-prop to store the actual documentation. John Benediktsson 2020-05-22 10:48:34 -0700
  • 409ce057f3 Revert "help.lint.coverage: change $values to $inputs and $outputs." John Benediktsson 2020-05-22 10:47:27 -0700
  • 150c6a6554 help.html: adding back the link to factorcode.org. John Benediktsson 2020-05-22 10:14:28 -0700
  • 655f54af19 shell.nix: supply `wrapFactor` helper to make standalone factor binary timor 2020-05-20 17:04:01 +0200
  • 802bb073b0 help.html: better navbar on iPhone. John Benediktsson 2020-05-22 10:03:39 -0700
  • e2fa0a6392 ui.backend.cocoa.views: fix jittery resize. John Benediktsson 2020-05-22 08:23:20 -0700
  • 61102548f4 help.lint.coverage: change $values to $inputs and $outputs. John Benediktsson 2020-05-22 08:06:36 -0700
  • eded28cc74 help: splitting $values into $inputs and $outputs. John Benediktsson 2020-05-21 19:47:28 -0700
  • 27215982e6 help.html: copy image resources to output directory. John Benediktsson 2020-05-21 19:17:56 -0700
  • da8a378b38 ui.tools.error-list: changing icons from tiff to png. John Benediktsson 2020-05-21 17:31:41 -0700
  • 4e498ad3b7 webapps.help: whoops. John Benediktsson 2020-05-21 17:25:03 -0700
  • 2e2f1d673a help.html: support ui/tools/error-list/icons also. John Benediktsson 2020-05-21 17:23:47 -0700
  • 868d970784 html.streams: move icon src mapping to help.html. John Benediktsson 2020-05-21 17:19:36 -0700
  • d2114e913c syntax: allow anonymous MAIN:. John Benediktsson 2020-05-21 14:19:43 -0700
  • 551e079da8 webbrowser: adding MAIN. John Benediktsson 2020-05-20 20:26:02 -0700
  • 15b0f07b37 metar: add a main. John Benediktsson 2020-05-20 19:47:47 -0700
  • 918436af7e websites.factorcode: update macos screenshot. John Benediktsson 2020-05-20 11:11:57 -0700
  • 721cb84d2a definitions.icons: lighter open-vocab/unopen-vocab. John Benediktsson 2020-05-20 10:46:34 -0700
  • e3fb39e3fe definitions.icons: prefer more isometric vocab icons. John Benediktsson 2020-05-20 09:33:54 -0700
  • b277d96065 definitions.icons: fix unopen-vocab.png. John Benediktsson 2020-05-19 21:46:46 -0700
  • ba80c1b6d6 definitions.icons: fix some 1x images. John Benediktsson 2020-05-19 21:45:26 -0700
  • e28bcd400b help.html: use @2x images. John Benediktsson 2020-05-19 20:53:08 -0700
  • 149cc270ff ui.images: fix for gl-scale-factor not being set. John Benediktsson 2020-05-19 19:10:51 -0700
  • 27c9792108 ui.images: load 1x or 2x graphics. John Benediktsson 2020-05-19 19:00:25 -0700
  • 01a389cb68 compiler.tree.propagation.slots: remove unused word timor 2020-05-19 17:53:33 +0200
  • e065e5b315 ui.theme: fix help-path-border-color to match toolbar-background. John Benediktsson 2020-05-19 10:15:50 -0700
  • 1b007dd7fc Revert "ui.pens.image: allow float math." John Benediktsson 2020-05-19 10:00:05 -0700
  • fd4ddf588f ui: update more icons, including ui.tools.error-list. John Benediktsson 2020-05-19 09:46:43 -0700
  • 1a3d061954 definitions.icons: minor tweak. John Benediktsson 2020-05-19 08:25:49 -0700
  • 466f599d11 definitions.icons: minor tweaks. John Benediktsson 2020-05-19 08:08:12 -0700
  • dc584bb671 unix.signals: bump time on tests. John Benediktsson 2020-05-19 07:49:56 -0700
  • cc823e7db1 tools.profiler.sampling: bump runtime. John Benediktsson 2020-05-19 07:46:25 -0700
  • 221b222f86 Revert "ui.baseline-alignment: allow floats in alignment." John Benediktsson 2020-05-19 07:41:06 -0700
  • 1ee94a168b ui.theme.images: minor scroll arrow fixes. John Benediktsson 2020-05-18 21:20:10 -0700
  • 44003d802f ui.theme.images: minor cleanup. John Benediktsson 2020-05-18 21:09:37 -0700
  • 2d71fd9e22 ui.pens.image: allow float math. John Benediktsson 2020-05-18 20:57:03 -0700
  • cf5bc20b1b ui.gadgets.icons: draw icon on top of selected background. John Benediktsson 2020-05-18 20:56:25 -0700
  • c37e9551ad ui.baseline-alignment: allow floats in alignment. John Benediktsson 2020-05-18 20:53:14 -0700
  • c0ab4beb0c help.html: set the sizes of 2x definition icons. John Benediktsson 2020-05-18 20:46:27 -0700
  • 65a3f0b6f4 ui.images: load all UI images as 2x for retina displays. John Benediktsson 2020-05-18 20:45:58 -0700
  • 9635596b0b ui.gadgets.labels: only ceiling the height for now. John Benediktsson 2020-05-18 08:06:08 -0700
  • 06ff539b17 Revert "ui.gadgets.labels: make labels integer larger than text." John Benediktsson 2020-05-18 08:02:06 -0700
  • 5d4a0b4f00 ui.gadgets.tracks: don't convert dims to floats in track-pref-dims-2. John Benediktsson 2020-05-17 20:47:22 -0700
  • eb7aad96c0 ui.gadgets.borders: don't convert border-loc to fixnum. John Benediktsson 2020-05-17 20:45:49 -0700
  • 0b294c5d50 ui.gadgets.labels: make labels integer larger than text. John Benediktsson 2020-05-17 20:44:21 -0700
  • 65d7e3fad1 build.sh: make_boot_image can just use -run=bootstrap.image. John Benediktsson 2020-05-17 19:55:59 -0700
  • d85d3e861c bootstrap.image: allow making other images in main. John Benediktsson 2020-05-17 19:53:18 -0700
  • 160d1b4415 build.sh: Add self-bootstrap option. Doug Coleman 2020-05-16 14:49:57 -0500
  • 75d8607643 build.sh: Only pull into current branch so we don't end up merging Doug Coleman 2020-05-16 14:45:33 -0500
  • abb1755311 logic.examples.money: use lnth and leach. John Benediktsson 2020-05-16 11:26:16 -0700
  • 457485dae7 ui.gadgets.labels: allow sub-pixel baseline and cap-height. John Benediktsson 2020-05-16 11:18:11 -0700
  • 5f89facf9e basis/extra: replace "/ >integer" with "/i" in a few places. John Benediktsson 2020-05-16 11:17:42 -0700
  • 68f6eeb3ad ui.gadgets.packs: change pack-layout not to round. John Benediktsson 2020-05-16 11:10:18 -0700
  • 7b023ad59d brainfuck: inline (?) because it's not a language command. John Benediktsson 2020-05-16 10:13:10 -0700
  • b3412e8930 ui.gadgets: formatting. John Benediktsson 2020-05-16 10:07:35 -0700
  • 33e72abff9 ui.baseline-alignment: better stack effects. John Benediktsson 2020-05-16 10:05:11 -0700