]> gitweb.factorcode.org Git - factor.git/history - basis/ui/tools/browser/browser.factor
factor: trim using lists
[factor.git] / basis / ui / tools / browser / browser.factor
2022-01-20 Doug Colemanfactor: trim using lists
2021-10-25 Rudi Grinbergfeature(browser): shortcut to focus search bar
2021-03-29 John Benediktssonui: better platform-specific keybindings.
2020-09-09 John Benediktssonbasis: removing unnecessary method stack effects.
2020-02-26 John Benediktssonui.tools.browser: use unicode next/prev arrows.
2020-02-20 John Benediktssonui.tools.browser: change $navigation to not use title...
2018-01-22 John Benediktssonui.tools.browser: adding back/forward to touchbar.
2018-01-02 John Benediktssonui.tools: enable touchbar commands.
2017-06-30 Björn Lindqvistui.tools: setting the initial tool dim as a multiple...
2016-07-30 Björn Lindqvistui.tools.*: fix swapped argument order for set-tool-dim
2016-05-22 Alexander Iljinbrowser: trim whitespace from query before search.
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-pSet text color almost everywhere
2015-08-16 John Benediktssonui.gadgets.editors: make it easier to set and get defau...
2015-08-16 John Benediktssonui.tools.browser: use default-text to make search box...
2015-08-16 John Benediktssonui.tools.browser: better to remove page-color than...
2015-08-16 John Benediktssonhelp.stylesheet: add back page-color and override in...
2015-08-16 John Benediktssonhelp: make the default print prev/next links but then...
2015-08-16 John Benediktssonui.tools.browser: remove spacer for right now...
2015-08-16 nicolas-pui.tools.browser: navigation fix
2015-08-16 nicolas-pRefactored prev/next buttons code
2015-08-16 nicolas-pui.gadgets.colors moved to ui.gadgets.theme
2015-08-16 nicolas-pSimplified toolbar code
2015-08-16 nicolas-pOther small adjustment in browser toolbar
2015-08-16 nicolas-pSmall adjustments in browser toolbar
2015-08-16 nicolas-pCentring prev/next links in Browser
2015-08-16 nicolas-pPrev/next buttons in Browser
2015-08-16 nicolas-pFixed USING:
2015-08-16 nicolas-pui.tools.browser: using format-toolbar
2015-08-16 nicolas-pUsing ui.gadgets.colors everywhere
2015-08-16 nicolas-pMove vivid colour in Browser header
2015-08-16 nicolas-pFixed USING:
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-pUse colour constants
2015-08-16 nicolas-pBrowser improvements
2014-12-18 John BenediktssonRevert "ui.tools.browser: one browser to rule them...
2014-12-18 John Benediktssonui.tools.browser: one browser to rule them all.
2014-12-17 John Benediktssonui: use control-value/set-control-value in a few places.
2014-10-25 John Benediktssonio/ui: slim down the USE: list
2014-08-05 Doug Colemanui.tools.browser: Remove dialog-window attribute from...
2014-08-05 Doug Colemanui: Rename floating-window to dialog-window as per...
2014-07-16 Doug Colemanui: Fix floating-window implementation for Windows...
2014-07-16 Doug Colemanui: Add a floating-window window-contol for opening...
2013-03-10 John Benediktssoncompiler.units: changing definitions-changed to use...
2012-08-17 John Benediktssonui.tools.browser: fix stack effect name.
2012-08-07 Doug Colemanui.tools.browser: Support resize on + and _.
2012-08-07 John Benediktssonui.tools.browser: adding +/- font size commands.
2012-06-21 Doug Colemanissue #358: Finish renaming <apropos> to <apropos-search>
2011-10-24 Doug ColemanRename class to class-of
2011-10-24 Doug ColemanRename vocab to lookup-vocab
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 GroffMake browser windows larger by default
2009-10-24 Joe Grofflink to the glossary from the help browser toolbar
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 Colemanuse 1&& in a few places, clean up some more ui code
2009-09-16 Slava PestovMerge branch 'irc-fix' of git://tiodante.com/git/factor
2009-09-12 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2009-09-12 Slava PestovMerge branch 'master' of git://github.com/killy971...
2009-09-12 Keith LazukaPull in new literals vocab to remove bootstrap circularity
2009-09-08 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2009-09-08 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2009-09-08 Slava Pestovui.tools.browser: don't scroll up when reloading page
2009-09-08 Joe GroffMerge branch 'ppc-float-compare' of git://factorcode...
2009-09-08 Joe GroffMerge branch 'master' into strong-typing
2009-09-08 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2009-09-08 Slava PestovMerge branch 'ui-tweaks' of git://github.com/klazuka...
2009-09-08 Keith LazukaApplied ui-tweaks patchset.
2009-06-02 Bruno DeferrariMerge branch 'master' into irc
2009-06-01 Doug ColemanMerge branch 'irc' of git://www.tiodante.com/git/factor
2009-05-24 Sam AnklesariaMerge branch 'master' of git://factorcode.org/git/factor
2009-05-18 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2009-05-16 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2009-05-16 Doug ColemanMerge branch 'master' into checksums
2009-05-16 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2009-05-16 Slava PestovMerge branch 'fix-bloom-filters-test' of git://github...
2009-05-16 Slava PestovFix conflict
2009-05-14 Slava PestovCleaning up USING: lists for new strict semantics
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-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-02 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/factor
next