]> 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 /
2021-12-28 John Benediktssonui.tools.listener.completion: improve completion for...
2021-12-28 John Benediktssonui.gadgets.tables: adding row-summary.
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.gadgets.panes: fix test for smash-line change.
2021-12-26 John Benediktssonui: some improvements to 2x images.
2021-12-25 John Benediktssonui.gadgets.panes: use document:?split-lines.
2021-12-25 John Benediktssonui.gadgets.panes: need to style newlines.
2021-12-25 John Benediktssonui.gadgets.sliders: fix for dragging when direction...
2021-12-24 John Benediktssonui.tools.debugger: scroller to handle long error messages.
2021-12-24 Doug Colemanfactor: fix a few renames
2021-12-21 Doug Colemanfactor: use more split/join words
2021-12-20 Doug Colemanfactor: words -> split-words, lines -> split-lines...
2021-12-20 Doug Colemanio.files: exists? -> file-exists? and rename primitive.
2021-12-20 Doug Colemancore: Add words/unwords/unwords-as and use them.
2021-12-20 Doug Colemancore: Change lines -> read-lines, contents -> read...
2021-12-15 Doug Colemanui.backend.windows: Add a couple more error checks.
2021-12-15 Doug Colemanwindows: Add check-hresult function.
2021-12-15 Doug Colemanui.backend.windows: Don't throw an error on timeout...
2021-10-25 Rudi Grinbergfeature(browser): shortcut to focus search bar
2021-06-02 timorvocabs.refresh: Add variants of refresh(-all) that...
2021-03-31 John BenediktssonRevert "ui.gadgets.editors: adding Ctrl-o for insert...
2021-03-31 John Benediktssonui.gestures: action-modifier changed to M+ (but still...
2021-03-31 John Benediktssonui.tools.listener: remove comment about readline bindings.
2021-03-31 John Benediktssonui.gadgets.editors: adding Ctrl-o for insert-newline...
2021-03-31 John Benediktssonui.tools.operations: switch back to previous (non-shift...
2021-03-31 John Benediktssonui.gadgets.editors: remove readline bindings by default.
2021-03-31 John Benediktssonui: minor style tweaks/fixes.
2021-03-30 John Benediktssonui.gadgets.editors: adding support for paragraph naviga...
2021-03-30 John BenediktssonRevert "ui.gadgets.panes: only scroll down when we...
2021-03-30 John BenediktssonRevert "ui.gadgets: refactor scroll-at-bottom?."
2021-03-30 John Benediktssonui.gadgets: refactor scroll-at-bottom?.
2021-03-30 John Benediktssonui.gadgets.panes: only scroll down when we are at the...
2021-03-30 John Benediktssonui.gadgets.editors: make readline only on mac for now.
2021-03-30 John Benediktssonui.tools: merge mac and other config.
2021-03-29 John Benediktssonui.tools: remove C+q for quit.
2021-03-29 John Benediktssonui.tools: fix toggle-fullscreen on windows/linux.
2021-03-29 John Benediktssonui: better platform-specific keybindings.
2021-03-26 John Benediktssonui.gadgets.editors: make readline-bindings only on...
2021-03-24 John Benediktssonui: standard readline style keybindings.
2021-03-24 John Benediktssonui.tools.listener: change set-listener-font to modify...
2021-03-24 John Benediktssonui.tools.listener: cleanup using.
2021-03-24 John Benediktssonui.tools.listener: enable font increase and decrease.
2021-03-23 Doug Colemanui.backend.gtk: Trim null bytes for linux copy.
2021-03-20 John Benediktssoncore/basis/extras: use zip-with in a few places.
2021-03-19 John Benediktssonui.tools.listener.completion: display glyph for CHAR...
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
2021-03-02 timorui.gadgets: Specialize default behavior on object inste...
2021-02-26 John Benediktssonui.gadgets.line-support: fix pref-dim* circularity.
2021-02-25 John Benediktssonui.gadgets.editors: make editors pref-dim respect min...
2021-02-25 John Benediktssonui.gadgets: don't need double USE:.
2021-01-30 Doug Colemanui: Trim using lists.
2021-01-30 Doug Colemanwindows: Add some code to put something in the tray.
2021-01-30 Doug Colemanui.backend.windows: ToUnicode can return 0 and it's...
2020-11-13 timorui.images: support image tuples as well as image-names
2020-11-09 John Benediktssonui: fix some $slots help-lint warnings.
2020-11-04 Doug Colemanui.backend.cocoa: The handle can be ``f`` sometimes...
2020-09-09 John Benediktssonbasis: removing unnecessary method stack effects.
2020-06-15 John BenediktssonRevert "ui.gadgets.borders: don't convert border-loc...
2020-06-12 Doug Colemanui.backend.cocoa: fix bootstrap -- vocab does not exist.
2020-06-12 Doug Colemanvocabs: On use-vocab we should throw an error if the...
2020-06-08 John Benediktssonui.tools.listener: re-order emacs keybinding docs.
2020-06-06 John Benediktssonui.tools.listener: change previous/next line to multili...
2020-06-06 John Benediktssonui.tools.listener: document emacs-style keybindings...
2020-06-06 John BenediktssonRevert "ui: better support for Emacs-style key bindings."
2020-06-06 John BenediktssonRevert "ui.gadgets.editors: adding Ctrl-u support."
2020-06-06 John BenediktssonRevert "ui.gadgets.editors: make Ctrl-A select-all...
2020-06-06 John BenediktssonRevert "ui.tools: change Alt- to Ctrl-Shift- for tools."
2020-06-06 John Benediktssonui.backend.gtk: don't let input-methods steal key-presses.
2020-05-29 John Benediktssonui.tools: change Alt- to Ctrl-Shift- for tools.
2020-05-29 John Benediktssonui.gadgets.editors: make Ctrl-A select-all if at column 0.
2020-05-28 John Benediktssonui.gadgets.editors: adding Ctrl-u support.
2020-05-28 John Benediktssonui: better support for Emacs-style key bindings.
2020-05-27 John Benediktssonui.gadgets.editors: can just use preedit-start>> as...
2020-05-27 John Benediktssonui.gadgets.editors: fix off-by-one.
2020-05-27 John Benediktssonui.gadgets.editors: fix page-up/page-down behavior.
2020-05-27 John Benediktssonui.gadgets.editors: cleanup docs for $slots.
2020-05-27 John Benediktssonui.gestures: clean docs for $slots.
2020-05-27 John Benediktssonui.gadgets.tables: change hook>> to be called on all...
2020-05-27 John Benediktssonui.gadgets.tables: cleanup docs for $slots.
2020-05-26 John Benediktssonui.gadgets.editors: fix page-up/page-down with one...
2020-05-22 Doug Colemanui.backend.x11.keys: Enable numpad navigation keys...
2020-05-22 John Benediktssonui.backend.cocoa.views: fix jittery resize.
2020-05-22 John Benediktssonui.tools.error-list: changing icons from tiff to png.
2020-05-20 John Benediktssonui.images: fix for gl-scale-factor not being set.
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 BenediktssonRevert "ui.pens.image: allow float math."
2020-05-19 John Benediktssonui: update more icons, including ui.tools.error-list.
2020-05-19 John BenediktssonRevert "ui.baseline-alignment: allow floats in alignment."
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.pens.image: allow float math.
2020-05-19 John Benediktssonui.gadgets.icons: draw icon on top of selected background.
2020-05-19 John Benediktssonui.baseline-alignment: allow floats in alignment.
2020-05-19 John Benediktssonui.images: load all UI images as 2x for retina displays.
2020-05-18 John Benediktssonui.gadgets.labels: only ceiling the height for now.
next