]> gitweb.factorcode.org Git - factor.git/history - basis/ui/tools/tools.factor
Switch to https urls
[factor.git] / basis / ui / tools / tools.factor
2023-01-20 John BenediktssonSwitch to https urls
2022-02-10 John Benediktssonui.tools: setting current directory to "resource:"
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 inivekinReorganises button-list code to separate file
2022-01-03 Doug Colemanui.tools: make alt-f4 only close one window at a time.
2021-06-02 timorvocabs.refresh: Add variants of refresh(-all) that...
2021-03-31 John Benediktssonui: minor style tweaks/fixes.
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-01-30 Doug Colemanui: Trim using lists.
2017-03-05 John Benediktssonui.backend: adding ui-stop-after-last-window?.
2016-11-02 John Benediktssonui.tools.listener: make all call-listener use with...
2016-11-01 Alexander Iljinui.tools: make refresh-all command interruptible with...
2011-08-28 John BenediktssonMerge remote-tracking branch '8byte-jose/win32-unc...
2011-08-27 Joe GroffMerge remote-tracking branch 'Blei/gtk-image-loader'
2011-08-27 John BenediktssonMerge remote-tracking branch 'malu/semantic-versioning'
2011-08-27 John BenediktssonMerge remote-tracking branch 'blei/curses' into curses
2011-08-27 John BenediktssonMerge remote-tracking branch 'abeaumont/master'
2011-08-27 John BenediktssonMerge remote-tracking branch 'philip-searle/master'
2011-04-06 Slava PestovMerge branch 'cleanup' of git://github.com/keitahaga...
2011-04-06 Slava PestovMerge branch 'master' of git://github.com/ex-rzr/factor
2011-03-18 John BenediktssonMerge branch 'master' of git://github.com/slavapestov...
2011-03-17 John BenediktssonMerge branch 'master' of git://github.com/slavapestov...
2011-03-15 John BenediktssonMerge branch 'master' of git://github.com/slavapestov...
2011-03-07 John Benediktssonui.tools: adding Ctrl-Shift-F for "toggle fullscreen".
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-24 Joe GroffMerge branch 'master' of factorcode.org:/git/factor
2010-05-24 Slava Pestovui: ditch window restore behavior since it was broken
2009-09-08 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2009-08-30 Marc FauconneauMerge branch 'master' of git@github.com:prunedtree...
2009-07-30 Slava PestovMerge branch 'irc' of git://tiodante.com/git/factor
2009-07-30 Slava PestovMerge branch 'xml-fix' of git://tiodante.com/git/factor
2009-07-22 Sam AnklesariaMerge branch 'master' of git://factorcode.org/git/factor
2009-07-10 Samuel TardieuMerge branch 'symbolic-xt'
2009-07-09 Slava PestovMerge branch 'thead' of git://github.com/phildawes...
2009-07-09 Slava PestovMerge branch 'llvm' of git://github.com/yuuki/factor
2009-07-09 Slava PestovMerge branch 'master' of git://github.com/abeaumont...
2009-07-08 Slava PestovMerge branch 'inlinec' of git://github.com/jedahu/factor
2009-07-08 Jeremy HughesMerge branch 'inlinec' into marshall
2009-07-08 Jeremy HughesMerge branch 'master' into inlinec
2009-07-07 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2009-07-07 Slava PestovRemove A+s shortcut for saving image in UI
2009-05-10 Slava PestovMerge branch 'redis' of git://www.tiodante.com/git...
2009-05-10 Bruno DeferrariMerge branch 'master' into redis
2009-05-10 Bruno DeferrariMerge branch 'master' into irc
2009-05-10 Slava PestovMerge branch 'hashcash' of git://github.com/martind...
2009-05-09 Sam AnklesariaMerge branch 'master' of git://factorcode.org/git/factor
2009-05-05 Aaron SchaeferMerge branch 'master' of git://factorcode.org/git/factor
2009-05-04 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2009-05-04 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2009-05-04 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2009-05-04 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2009-05-04 Slava PestovMerge branch 'mongo-factor-driver' of git://github...
2009-05-04 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2009-05-04 Slava PestovSplit up tools.vocabs. Note that load-everything is...
2009-05-01 Sascha MatzkeMerge commit 'mongo-factor-driver/master' into mongo...
2009-04-26 Bruno DeferrariMerge branch 'master' into irc
2009-04-21 Doug ColemanMerge branch 'keyholder'
2009-04-20 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2009-04-20 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2009-04-20 Alex ChapmanMerge branch 'master' into experimental
2009-04-19 Nicholas SeckarMerge branch 'autouse-existing-usings' of git@github...
2009-04-18 Slava PestovMerge branch 'master' of git://factorcode.org/git/wrunt
2009-04-17 Nicholas SeckarMerge branch 'master' into autouse-existing-usings
2009-04-17 Aaron SchaeferMerge branch 'master' of git://factorcode.org/git/factor
2009-04-17 Maxim SavchenkoMerge branch 'master' of git://factorcode.org/git/facto...
2009-04-16 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2009-04-16 Slava PestovMerge branch 'master' of git://factorcode.org/git/facto...
2009-04-16 Slava PestovMerge branch 'trace_tool' of git://factorcode.org/git...
2009-04-16 Slava PestovMerge branch 'master' into smarter_error_list
2009-04-15 Slava PestovMerge branch 'master' of git://factorcode.org/git/facto...
2009-04-14 Slava PestovMerge branch 'master' into smarter_error_list
2009-04-14 Slava PestovMerge branch 'master' into smarter_error_list
2009-04-14 Slava PestovMerge branch 'master' of git://factorcode.org/git/facto...
2009-04-14 Slava PestovMerge branch 'master' into smarter_error_list
2009-04-14 Slava PestovMerge branch 'master' into smarter_error_list
2009-04-13 Slava PestovMerge branch 'master' into smarter_error_list
2009-04-13 Slava PestovMerge branch 'smarter_error_list' of git://factorcode...
2009-04-13 Slava PestovMerge branch 'master' of git://factorcode.org/git/facto...
2009-04-12 Slava PestovRefactor error code so that error types are registered...
2009-04-11 Slava PestovMerge branch 'master' into smarter_error_list
2009-04-11 Slava PestovMerge branch 'smarter_error_list' of git://factorcode...
2009-04-11 Slava PestovLoad ui.tools.error-list by default
2009-03-18 Aaron SchaeferMerge branch 'master' of git://factorcode.org/git/factor
2009-03-12 Alex ChapmanMerge branch 'master' into experimental
2009-03-12 Daniel EhrenbergMerge branch 'master' of git://github.com/bogiebro...
2009-03-10 Maxim SavchenkoMerge branch 'master' of git://factorcode.org/git/facto...
2009-03-06 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2009-03-06 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2009-03-05 Daniel EhrenbergMerge branch 'master' into regexp
2009-03-05 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
next