]> gitweb.factorcode.org Git - factor.git/history - basis/ui
scryfall: better moxfield words
[factor.git] / basis / ui /
2024-02-25 Alexander Ilinui.backend.windows: double the default vertical scrolli...
2024-02-25 Alexander Ilinui.backend.windows: scroll 10 times faster with Shift
2024-02-25 Alexander Ilinui.backend.windows: fix mouse-scroll implementation
2024-02-25 Alexander Ilinui.backend.windows: support horizontal scroll wheel
2024-01-31 John Benediktssoncore/basis/extra: update some stack effects
2024-01-30 John Benediktssonui.commands: adding update-command-map
2023-12-21 Ikko Eltociear Ash... docs: Update panes-docs.factor
2023-11-04 razetimeui.pens.solid: add missing docs
2023-11-01 John Benediktssonui.theme: set field-border-color on light theme
2023-10-25 John Benediktssonmodels.range: move the range words into the models...
2023-10-25 John Benediktssonui.clipboards: add some helper words
2023-10-23 John Benediktssonsequences.extras: more supremum/infimum renames
2023-09-11 Giftpflanzeassocs.extras: Move some often-used words to core
2023-08-30 John Benediktssonui.tools.debugger: fix M\ debugger focusable-child*
2023-08-26 John Benediktssonui.gadgets: simplify focusable-child
2023-08-24 John Benediktssonui.gadgets: change focusable-child* to not return f
2023-08-24 John BenediktssonRevert "ui.gadgets.gadgets: prevent busy loop with...
2023-08-24 John Benediktssonui.gadgets.gadgets: prevent busy loop with ``f focusabl...
2023-08-22 nomennescioMerge branch 'factor:master' into feature-vm-prepare...
2023-08-21 Alex Maestasmove theme protocol into ui.theme; restore using line...
2023-08-06 inivekinui.gadgets.tables: adds ctrl-p/n for row selection
2023-07-30 John Benediktssonui.tools.listener.log: move to extra/
2023-07-30 Dave CarltonAdded a simple GUI interface for openai (#2787)
2023-07-30 Alexander Ilin*-docs: spell "co-ordinate" without the hyphen
2023-05-13 Doug Colemanui.backend.windows: warn instead of trying to get hWnd...
2023-05-07 Doug Colemanui.backend.gtk2: fix using
2023-05-07 Doug Colemangnome: rename gtk to gtk2, move most gir files to basis/gir
2023-05-03 John Benediktssonui.gadgets.tabbed: re-add internal border
2023-05-03 John Benediktssonui.gadgets.tabbed: fix up background
2023-05-03 John Benediktssonui.gadgets.tabbed: make sure tab bar has background set
2023-05-03 John Benediktssonui.gadgets.tabbed: re-use toolbar theme to make nice...
2023-04-05 John Benediktssontools.completion: adding EDITOR: tab completion
2023-03-15 Raghu RMerge pull request #2774 from factor/w4-warnings
2023-03-15 Raghu Rvm: nmakefile \W4 warning related changes
2023-03-05 Doug Colemangeneric: finish renaming order to dispatch-order
2023-02-26 Doug Colemanfactor: remove extra whitespace refactor-sequences 2669/head
2023-02-26 Doug Colemankernel: ?if-old is just `[ or* ] 2dip if`
2023-02-26 Doug Colemanfactor: ?if to ?if-old
2023-02-26 Doug Colemanfactor: use ??if instead of ?if-old
2023-02-08 GiftpflanzeRename and add sorting words
2023-02-03 John Benediktssonui.tools: adding a "Browse New" command
2023-02-02 John Benediktssonui.tools.common: remove using
2023-01-31 John Benediktssonhelp: minor doc fixes
2023-01-30 John Benediktssonui.tools: tweak the ui-cocoa article
2023-01-30 John Benediktssonui.backend.cocoa.tools: use auto-use and eval-with...
2023-01-20 John BenediktssonSwitch to https urls
2023-01-12 Doug Colemanfactor: fix some spacing
2023-01-11 Doug Colemantests: use must-not-fail in some places must-not-fail 2738/head
2022-09-11 Doug Colemanbasis: use lint.vocabs tool to trim using lists
2022-09-08 John Benediktssonui.gadgets.editors: tweak caret-style and fix docs
2022-09-08 Dave CarltonUse symbols for shapes
2022-09-08 Dave CarltonBlock caret code
2022-08-17 Doug Colemancore: subseq-index? -> subseq-of?
2022-08-12 Alex MaestasAdd Wombat theme, put it and Base16 theme in OS X menu
2022-08-10 John Benediktssonui.theme.switching.tools: switch breakpoint symbol
2022-08-01 John Benediktssonui.gadgets.panes: relayout when changing label contents
2022-08-01 John Benediktssonui.gadgets.panes: fuse labels together with the same...
2022-08-01 John Benediktssonui.gadgets: simplify unparent
2022-07-31 Doug Colemancolor-picker: Fix background and using
2022-07-31 Doug Colemanui.gadgets.search-tables: Fix background color of color...
2022-07-31 Doug Colemansequences: bound -> index-or-length
2022-07-31 Doug Colemansequences: rename subsequence? words to subseq? again.
2022-07-31 Doug Colemancore: find-subseq -> subsequence-starts, find-subseq...
2022-07-31 Doug Colemancore: cramp -> bound (was short)
2022-07-31 Doug Colemanfactor: alien.c-types:short -> cramp
2022-07-31 Doug Colemanfactor: use new words
2022-07-26 John Benediktssonui.theme: remove vocab-background-color and vocab-borde...
2022-07-26 John Benediktssonui.theme.base16: adding code-border-color
2022-07-25 John Benediktssonhelp.stylesheet: giving code blocks a border color
2022-06-25 Doug Colemanui.tools.inspector: actually test something
2022-06-24 Doug Colemanui.tools.inspector: Fix inspector for map-index change.
2022-05-18 John Benediktssoncolors: fix parse-colors
2022-05-18 John Benediktssonui.theme.base16: fix parse-colors
2022-03-05 John Benediktssonui.gadgets.panes: scroll-pane so it respects the scroll...
2022-03-05 John BenediktssonRevert "ui.gadgets.panes: remove scrolls? slot and...
2022-03-05 John Benediktssonui.backend.cocoa: support automatic changing of themes
2022-03-05 John Benediktssonui.theme.switching: split out ui.tools themeing
2022-03-04 John Benediktssonui.tools.listener: pressing enter should scroll to...
2022-03-04 John Benediktssonui.gadgets.panes: remove scrolls? slot and make scrolli...
2022-03-03 John Benediktssonui.gadgets.panes: make sure walker scrolls to the bottom
2022-03-03 John Benediktssonui.tools: change scrolling behavior
2022-02-23 Alex Maestasput show-error-list in the touchbar
2022-02-11 John Benediktssonui.gadgets.glass: constrain popup over viewport
2022-02-10 nomennescioMerge branch 'master' into feature-vm-prepare-image...
2022-02-10 John Benediktssonui.tools: setting current directory to "resource:"
2022-02-03 John Benediktssonui.tools.button-list: use linked-assocs to keep buttons...
2022-02-03 John Benediktssonui.gadgets.search-tables: remove delay
2022-02-02 Doug Colemanui.tools.operations: Don't annotate regular objects...
2022-02-02 Doug Colemanui.tools.operations: use without-limits for unparse...
2022-01-25 John Benediktssonui.tools.button-list: not sure why this commit was...
2022-01-25 John Benediktssonui.tools.button-list: per-world popup
2022-01-25 John Benediktssonui.tools.button-list: fix help-lint
2022-01-25 John Benediktssonui: fix bootstrap for show-active-buttons-popup
2022-01-25 Kevin CopeFixes ungraft and removes accidental duplication
2022-01-25 Kevin CopeMoves some docs to where they belong and fixes formatting
2022-01-25 Kevin CopeAdds some documentation for gesture mapping
2022-01-25 Kevin CopeMoves button list into MIXIN instance
2022-01-25 inivekinReorganises button-list code to separate file
2022-01-25 inivekinAdds keyboard driven link following for the browser
2022-01-25 John Benediktssoncore/basis/extra: using STARTUP-HOOK: and SHUTDOWN...
next