]> gitweb.factorcode.org Git - factor.git/history - basis/ui
Add Wombat theme, put it and Base16 theme in OS X menu
[factor.git] / basis / ui /
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 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...
2022-01-22 John Benediktssonui.gadgets.incremental: make sure to unfocus and (unparent)
2022-01-21 John Benediktssonio.encodings.utf16n: merge with io.encodings.utf16
2022-01-20 Doug Colemanfactor: trim using lists
2022-01-17 John Benediktssonclasses.struct: moving to new/boa instead of <struct...
2022-01-13 John Benediktssonhelp.stylesheet: adding text-color to code-blocks.
2022-01-11 John Benediktssonui.theme: brighter links.
2022-01-11 John Benediktssonui: fixing stack effect on slurp-vector
2022-01-08 John Benediktssonui.tools.listener.completion: fix color for vocab compl...
2022-01-06 John Benediktssonui.gadgets.scrollers: use relayout-1 in scroll>* methods
2022-01-04 John Benediktssonui.backend.cocoa.views: leave prepareOpenGL for now
2022-01-04 John Benediktssonui.backend.cocoa.views: fix retina in deploy images
2022-01-04 John Benediktssonui.backend.cocoa.views: clear cached-lines in windowDid...
2022-01-03 John Benediktssonui.gadgets.borders: round border-pref-dim
2022-01-03 John Benediktssoncore-text: remove retina? flag in favor of gl-scale...
2022-01-03 John Benediktssonbasis/extra: removing unnecessary IN: statements.
2022-01-03 John Benediktssonui.tools.traceback: fix use of error-in-pprint.
2022-01-03 Doug Colemanui.tools: make alt-f4 only close one window at a time.
2022-01-03 John Benediktssonui.tools.listener: no-delay on completion tooltip.
2022-01-02 John Benediktssonui.tools.listener.completion: make accept-completion...
2022-01-02 John Benediktssonui.tools.listener: need to check vocab and manifest...
2022-01-02 John Benediktssonui.tools.listener.completion: sigh.
2022-01-02 John Benediktssonui.backend.cocoa: disable theme switching temporarily.
2022-01-02 John Benediktssonui.tools.listener.completion: fix completion for P".
2022-01-02 John Benediktssonui.theme: remove delegate protocol for now.
2022-01-02 John Benediktssonhelp.markup: adding $vocab-subsections which renders...
2022-01-02 John Benediktssonui.backend.cocoa.views: trap and print errors in drawRect.
2022-01-02 John Benediktssonui.render: use gl-clear.
2022-01-02 John BenediktssonRevert "ui.backend.cocoa: disable appearance changing...
2022-01-02 John Benediktssonui.backend.cocoa: disable appearance changing temporarily.
2022-01-01 John Benediktssoncolors: merge colors.constants and colors.hex.
2022-01-01 John Benediktssoncolors.constants: better prettyprinting of COLOR: syntax.
2022-01-01 John Benediktssonui.theme.switching: adding concept of default-theme?.
2022-01-01 John Benediktssonui.theme.switching: fix help-path-style foreground.
2022-01-01 John Benediktssonui.theme: change dark mode backgrounds to match macos...
2022-01-01 John Benediktssonui.tools.completion: better ui.theme.
2022-01-01 John Benediktssonui.theme.switching: reset ui.gadgets.panes fonts.
2021-12-31 John Benediktssonui: disable default-theme? for now.
2021-12-31 John Benediktssonui.backend.cocoa: change theme automatically if we...
2021-12-31 John Benediktssonui.theme: adding a theme-protocol.
2021-12-31 John Benediktssonui.theme.switching: track whether we've changed the...
2021-12-31 John Benediktssonui.backend.cocoa: set the light/dark theme on startup...
2021-12-31 John Benediktssonui.backend.cocoa.views: add light/dark mode switching.
2021-12-31 John Benediktssonui.tools.listener: change use-if-necessary to use add...
2021-12-30 John Benediktssonui.tools.listener.completion: fix accept-completion...
2021-12-30 Doug Colemanui.tools.listener: Don't double print fixups
2021-12-30 Doug Colemanfactor: Move math.ranges => ranges.
2021-12-30 Doug Colemanui: trim even more using lists
2021-12-30 Doug Colemanui: trim using lists
2021-12-30 Doug Colemanbasis: fix bootstrap.
2021-12-30 Doug Colemandebugger: Add support for command line debugger.
2021-12-30 Doug Colemanfixups: integrate with restarts
2021-12-30 John Benediktssoncore/basis/extra: use new math.ranges syntax.
2021-12-28 John Benediktssonui.gadgets.editors: round to gl-scales.
2021-12-28 John Benediktssonui.gadgets.tables: change default row-summary.
next