]> gitweb.factorcode.org Git - factor.git/history - basis/ui/tools/listener/listener.factor
basis: removing unnecessary method stack effects.
[factor.git] / basis / ui / tools / listener / listener.factor
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
2010-03-16 Daniel EhrenbergMerge branch 'bags' of git://github.com/littledan/Factor
2010-03-02 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/facto...
2010-02-26 Daniel EhrenbergMoving new-sets to sets
2010-02-22 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2009-11-15 Doug ColemanMerge branch 'master' into startup
2009-11-09 Slava PestovMerge branch 'master' of git://github.com/killy971...
2009-10-30 Slava PestovMerge branch 'master' into new_gc
2009-10-24 Joe GroffMerge branch 'master' of http://factorcode.org/git...
2009-10-24 Joe Groff< Press Enter to see the Survival Guide >
2009-10-12 Guillaume Nargeotmerge project-euler.factor
2009-10-10 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2009-10-09 Slava PestovMerge branch 'help' of git://github.com/klazuka/factor
2009-10-09 Slava PestovMerge branch 'master' of git://github.com/jonenst/factor
2009-10-06 Doug ColemanMerge branch 'a7a39d3766624227966bca34f0778030592d82c2...
2009-10-05 Slava PestovMerge branch 'for-slava' of git://git.rfc1149.net/factor
2009-10-05 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2009-10-05 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2009-10-05 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2009-10-04 Doug Colemancleaning up some ui code
next