]> gitweb.factorcode.org Git - factor.git/history - basis/ui/theme
functors: inline the parts of interpolate this needs
[factor.git] / basis / ui / theme /
2023-11-01 John Benediktssonui.theme: set field-border-color on light theme
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-05-03 John Benediktssonui.gadgets.tabbed: re-use toolbar theme to make nice...
2023-03-15 Raghu RMerge pull request #2774 from factor/w4-warnings
2023-03-15 Raghu Rvm: nmakefile \W4 warning related changes
2023-02-26 Doug Colemanfactor: use ??if instead of ?if-old
2023-01-20 John BenediktssonSwitch to https urls
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-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-05-18 John Benediktssoncolors: fix parse-colors
2022-05-18 John Benediktssonui.theme.base16: fix parse-colors
2022-03-05 John Benediktssonui.theme.switching: split out ui.tools themeing
2022-01-13 John Benediktssonhelp.stylesheet: adding text-color to code-blocks.
2022-01-11 John Benediktssonui.theme: brighter links.
2022-01-02 John Benediktssonui.theme: remove delegate protocol for now.
2022-01-01 John Benediktssoncolors: merge colors.constants and colors.hex.
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.theme.switching: reset ui.gadgets.panes fonts.
2021-12-31 John Benediktssonui: disable default-theme? for now.
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-30 Doug Colemanui: trim using lists
2021-12-26 John Benediktssonui.theme.images: more improvements for retina.
2021-12-26 John Benediktssonui: different approach to 2x images.
2021-12-26 John Benediktssonui: some improvements to 2x images.
2021-03-12 inivekinFixes apropos header colour bug, Changes help path...
2021-03-04 John Benediktssonui.theme.base16: initialize base16-theme-name differently.
2021-03-04 inivekinRemoves unnecessary uses from base16 themes
2021-03-04 inivekinAdds base16 themes
2020-05-20 John Benediktssonui.images: load 1x or 2x graphics.
2020-05-19 John Benediktssonui.theme: fix help-path-border-color to match toolbar...
2020-05-19 John Benediktssonui.theme.images: minor scroll arrow fixes.
2020-05-19 John Benediktssonui.theme.images: minor cleanup.
2020-05-19 John Benediktssonui.images: load all UI images as 2x for retina displays.
2020-02-26 John Benediktssonprettyprint.stylesheet: s/stack-effect-style/base-effec...
2020-02-26 John Benediktssonprettyprint.stylesheet: change stack effects to not...
2020-02-15 John Benediktssonhelp.markup: change default-style to use with-nesting.
2018-09-07 Pipick a better caret color for the dark theme
2018-09-07 Pimake the caret color themeable
2016-11-09 John Benediktssonui.theme: change deprecated background color also.
2016-11-08 John Benediktssonui.theme: make warning background color a light shade...
2016-05-22 John Benediktssonui.gadgets.theme: rename to ui.theme.images.
2016-05-22 John Benediktssonui.theme.switching: default font colors.
2016-05-12 John Benediktssonui.theme.switching: adding back light-mode and dark...
2016-05-12 John Benediktssonui.theme.switching: adding some docs.
2016-05-12 John Benediktssonui.theme.switching: add a switch-theme word.
2016-05-10 John Benediktssonui.theme: remove unused url-color hook.
2016-05-10 John Benediktssonui.theme: updates to color scheme.
2016-05-10 nicolas-pMoved both themes into ui.theme