]> gitweb.factorcode.org Git - factor.git/history - basis/ui/tools/listener/listener.factor
core: cramp -> bound (was short)
[factor.git] / basis / ui / tools / listener / listener.factor
2022-07-31 Doug Colemancore: cramp -> bound (was short)
2022-07-31 Doug Colemanfactor: alien.c-types:short -> cramp
2022-03-05 John BenediktssonRevert "ui.gadgets.panes: remove scrolls? slot and...
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.tools: change scrolling behavior
2022-02-23 Alex Maestasput show-error-list in the touchbar
2022-01-02 John Benediktssonui.tools.listener: need to check vocab and manifest...
2021-12-31 John Benediktssonui.tools.listener: change use-if-necessary to use add...
2021-12-30 Doug Colemanui.tools.listener: Don't double print fixups
2021-12-30 Doug Colemanui: trim using lists
2021-12-30 Doug Colemanfixups: integrate with restarts
2021-12-20 Doug Colemanfactor: words -> split-words, lines -> split-lines...
2021-12-20 Doug Colemancore: Add words/unwords/unwords-as and use them.
2021-03-29 John Benediktssonui: better platform-specific keybindings.
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.
2020-09-09 John Benediktssonbasis: removing unnecessary method stack effects.
2020-06-06 John BenediktssonRevert "ui: better support for Emacs-style key bindings."
2020-05-28 John Benediktssonui: better support for Emacs-style key bindings.
2020-02-17 John Benediktssonui.gadgets.pane: rename pane-clear to clear-pane.
2019-11-06 John Benediktssonui.tools.listener: handle history-completion popup...
2019-11-06 John Benediktssonui.tools.listener: close completion-popup when completi...
2019-03-17 John Benediktssonui.tools.listener: use ?first.
2018-08-02 John Benediktssonui.tools.listener: minor cleanup to completion stuff.
2018-01-25 John Benediktssonui.tools.listener: implement vocab-word-completions.
2018-01-22 Alexander Iljinui.tools.listener: support file-drop gesture
2018-01-02 John Benediktssonui.tools: enable touchbar commands.
2017-10-25 John Benediktssonui.gadgets.labeled: cleanup labeled-gadget words.
2017-10-25 John Benediktssontools.errors.model: remove in favor of ui.tools.error...
2017-10-16 John Benediktssonui.tools.listener: change to just reset line-height...
2017-10-16 Alexander Iljinui.tools.listener: update interactor's line-height...
2017-06-30 Björn Lindqvistui.tools: setting the initial tool dim as a multiple...
2016-11-02 John Benediktssonui.tools.listener: make all call-listener use with...
2016-09-15 John Benediktssonui.tools.listener: protect vocab completion from bad...
2016-07-30 Björn Lindqvistui.tools.*: fix swapped argument order for set-tool-dim
2016-07-16 John Benediktssonvocabs.loader: one vocab-exists? word.
2016-07-12 John Benediktssonusing [ ] [ ... ] ?if instead of [ nip ] [ ... ] if*.
2016-05-22 John Benediktssonui.gadgets.theme: rename to ui.theme.images.
2016-05-22 John Benediktssonui.theme.switching: default font colors.
2016-05-10 John Benediktssonui.theme: updates to color scheme.
2016-05-10 nicolas-pMoved both themes into ui.theme
2016-05-10 nicolas-pAdded listener styles in theme switching
2016-05-10 nicolas-pSet text color almost everywhere
2016-04-30 John Benediktssonui.tools.listener: fix introduction font sizes.
2015-11-27 Björn Lindqvistui.tools.listener: only wait up to 5 seconds for the...
2015-10-30 Björn Lindqvistui.tools.listener: revert the commit that added UP...
2015-10-28 Björn Lindqvistui.tools.listener: only recall if the lexer-error is...
2015-10-23 Björn Lindqvistui.tools.listener: recall the last command on parse...
2015-10-22 Björn Lindqvistui.tools.listener: call interactor-finish before try...
2015-10-22 Björn Lindqvistui.tools.listener: tried to simplify stream-read-quot...
2015-10-15 Björn Lindqvistui.*: a little more ui docs
2015-10-14 Björn Lindqvistui.tools.listener: make it so up/down arrows can be...
2015-09-08 John BenediktssonFix comments to be ! not #!.
2015-08-16 nicolas-pui.gadgets.colors moved to ui.gadgets.theme
2015-08-16 nicolas-pFixed compatibility issue with labeled gadget
2015-08-16 nicolas-pFixed USING:
2015-08-16 nicolas-pUsing ui.gadgets.colors everywhere
2015-08-16 nicolas-pActual colours for labeled gadgets
2015-08-16 nicolas-pNew debugger
2015-08-16 nicolas-pRestoring the "add-" prefix
2015-08-16 nicolas-pToolbar, lines and margins used in listener and browser
2015-08-16 nicolas-pMargins
2015-07-21 John Benediktssonuse ``if*`` instead of ``dup [ ] [ drop ] if``.
2014-11-11 Björn LindqvistVM: Three new special objects added to keep track of...
2014-10-25 John Benediktssonio/ui: slim down the USE: list
2012-10-23 John Benediktssonui.tools.listener: adding path completion to listener.
2012-09-24 John Benediktssonui.tools.listener: adding COLOR: completions.
2012-07-23 John Benediktssonui.tools.listener: fix read-until with Ctrl-D.
2012-07-22 John Benediktssonui.tools.listener: fix stream-read-until on interactor...
2012-07-19 John Benediktssonusing the new H{ } make.
2012-03-04 Joe Groffui.tools.listener: dumb hack to set listener font
2011-11-15 Joe GroffRevert "ui.tools.listener: removing unnecessary spawn."
2011-11-14 John Benediktssonui.tools.listener: removing unnecessary spawn.
2011-10-29 Slava PestovRevert "ui.gadgets.editors: implement Ctrl-A/E/K to...
2011-10-29 Doug ColemanAdd a toggle word to namespaces and update docs, tests...
2011-10-24 Doug ColemanRename vocab to lookup-vocab
2011-10-18 Joe Groffio: input-stream and output-stream mixins
2011-10-18 Joe Groffui.tools.listener: set error stream
2011-10-18 John Benediktssonui.gadgets.editors: implement Ctrl-A/E/K to be more...
2011-10-18 Joe Groffui.tools.listener: remove redundant method
2011-10-18 Joe Groffui.tools.listener: fix stream-read-unsafe
2011-10-18 Joe Groffkill noncopying-reader mixin, stream-read generic
2011-10-18 Joe Groffui.tools.listener: read-unsafe for interactor†
2011-10-16 John Benediktssonui.tools.listener: call insert-newline directly.
2011-10-16 John BenediktssonCleanup some lint warnings.
2011-08-27 John BenediktssonMerge remote-tracking branch 'malu/semantic-versioning'
2010-07-06 Slava PestovMerge branch 'gdbm' of http://github.com/dmsh/factor
2010-06-16 Slava PestovMerge branch 'fuel' of git://github.com/dmsh/factor
2010-06-15 Daniel EhrenbergMerge branch 'master' into propagation
2010-06-07 Anton GorenkoMerge branch 'master' of git://factorcode.org/git/factor
2010-06-03 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2010-05-30 Slava Pestovui.tools.listener: fix error bar display
2010-04-05 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/facto...
2010-03-30 Slava Pestovthreads: use context-switching primitives
2010-03-23 Daniel EhrenbergMerge branch 's3' of git://github.com/littledan/Factor...
2010-03-17 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2010-03-17 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/factor
next