]> gitweb.factorcode.org Git - factor.git/history - basis/ui/gadgets/status-bar
Use symbols for shapes
[factor.git] / basis / ui / gadgets / status-bar /
2022-01-01 John Benediktssoncolors: merge colors.constants and colors.hex.
2016-05-10 John Benediktssonui.theme: updates to color scheme.
2015-08-16 nicolas-pui.gadgets.colors moved to ui.gadgets.theme
2015-08-16 nicolas-pUsing ui.gadgets.colors everywhere
2015-08-16 nicolas-pUsing filled-border in status bar
2015-08-16 nicolas-pUse colour constants
2015-08-16 nicolas-pMargins
2015-07-14 John Benediktssonui.gadgets.status-bar: use color constants.
2015-01-29 John Benediktssonui: cleanup some using lists.
2012-07-22 John Benediktssonui: change some places to call safe-summary.
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 'philip-searle/master'
2011-02-28 Slava PestovFix conflict
2011-01-16 Keita Hagaui.gadgets.status-bar: fix typo in docs
2009-10-12 Guillaume Nargeotmerge project-euler.factor
2009-10-10 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2009-10-06 Doug ColemanMerge branch 'a7a39d3766624227966bca34f0778030592d82c2...
2009-10-03 Jon HarperMerge branch 'master' of git://factorcode.org/git/facto...
2009-10-02 Doug ColemanMerge branch 'klazuka'
2009-10-02 Doug ColemanMerge branch 'master' of git://factorcode.org/git/facto...
2009-10-02 Doug ColemanMerge branch 'docs' of git://github.com/klazuka/factor...
2009-10-02 Keith Lazukadocs: change $subsection to $subsections
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-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 LazukaFactor theme colors are now referenced by name.
2009-09-08 Keith LazukaApplied ui-tweaks patchset.
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 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2009-05-04 Slava PestovMerge branch 'master' of git://github.com/seckar/factor
2009-05-04 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2009-05-04 Sascha MatzkeMerge branch 'master' of git://factorcode.org/git/facto...
2009-05-04 Joe Groffdocs for new world words
2009-05-04 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2009-05-03 Joe Groffupdate status-bar for api changes. set the gl-context...
2009-05-01 Sascha MatzkeMerge commit 'mongo-factor-driver/master' into mongo...
2009-03-18 Aaron SchaeferMerge branch 'master' of git://factorcode.org/git/factor
2009-03-16 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2009-03-13 Jose A. Ortega RuizMerge commit 'origin/master' into emacs
2009-03-13 Doug ColemanMerge 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-11 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2009-03-11 Maxim SavchenkoMerge branch 'master' of git://factorcode.org/git/facto...
2009-03-11 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/factor
2009-03-11 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2009-03-11 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2009-03-10 Slava PestovDocument ui.gadgets.glass and fix help lint failures...
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
2009-03-05 Slava PestovMerge branch 'master' into new_ui
2009-03-05 Slava PestovFix conflict in images vocab
2009-03-02 Slava PestovMerge branch 'master' into new_ui
2009-03-01 Slava PestovMerge branch 'master' into new_ui
2009-02-28 Slava PestovMerge OneEyed's patch
2009-02-27 Slava PestovMerge branch 'master' into new_ui
2009-02-26 Slava PestovUpdate code for model class renamings
2009-02-26 Slava PestovMerge branch 'master' into new_ui
2009-02-26 Slava PestovFix conflicts
2009-02-24 Slava PestovFixing conflicts from stack checker changes
2009-02-23 Slava PestovFix conflict
2009-02-20 Slava PestovMerge branch 'master' into new_ui
2009-02-20 Slava PestovMerge branch 'master' into new_ui
2009-02-20 Slava Pestovui.gadgets.status-bar: write some docs and add notion...
2009-02-19 Slava PestovMerge branch 'master' into new_ui
2009-02-19 Slava PestovMerge branch 'master' into new_ui
2009-02-19 Slava PestovFix conflict
2009-02-17 Slava PestovFix conflict
2009-02-17 Slava PestovMerge branch 'master' into new_ui
2009-02-16 Slava PestovFix load errors; ui.gadgets.theme removed
2008-12-12 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-12-07 William SchlieperMerge branch 'master' of git://factorcode.org/git/factor
2008-12-03 Joe GroffMerge branch 'master' of git://factorcode.org/git/factor
2008-12-02 Alex ChapmanMerge branch 'master' into experimental
2008-11-29 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2008-11-29 Aaron SchaeferMerge branch 'master' of git://factorcode.org/git/factor
2008-11-29 Slava PestovFix conflict
2008-11-28 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-11-28 Slava PestovMerge branch 'master' into faster_overflow_checks
2008-11-28 Slava PestovRefactoring usages of >r/r> to dip in UI
2008-10-16 ergMerge branch 'master' of git://repo.or.cz/factor/jcg
2008-10-16 Doug ColemanMerge branch 'master' of git://repo.or.cz/factor/jcg
2008-10-15 Eduardo CavazosMerge branch 'master' of git://factorcode.org/git/factor
2008-10-13 Alex ChapmanMerge branch 'experimental' into couchdb
next