]> gitweb.factorcode.org Git - factor.git/history - basis/ui/gadgets/status-bar/status-bar.factor
ui.theme: updates to color scheme.
[factor.git] / basis / ui / gadgets / status-bar / status-bar.factor
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.
2009-10-06 Doug ColemanMerge branch 'a7a39d3766624227966bca34f0778030592d82c2...
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://factorcode.org/git/factor
2009-05-04 Sascha MatzkeMerge branch 'master' of git://factorcode.org/git/facto...
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-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
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-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
2008-10-07 Alex ChapmanMerge branch 'master' of git://factorcode.org/git/facto...
2008-10-05 Bruno DeferrariMerge branch 'master' of git://factorcode.org/git/factor
2008-10-02 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-10-02 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-10-02 John BenediktssonMerge branch 'master' of git://factorcode.org/git/factor
2008-10-02 Slava PestovFix permission bits
2008-09-12 Alex ChapmanMerge branch 'master' into experimental
2008-09-08 Aaron SchaeferMerge git://projects.elasticdog.com/git/factor into...
2008-08-19 Daniel EhrenbergMerge branch 'master' of git://factorcode.org/git/factor
2008-08-13 sheepleMerge branch 'master' of git://factorcode.org/git/factor
2008-08-11 Slava PestovMerge branch 'master' of git://factorforge.org/git...
2008-08-11 William SchlieperMerge branch 'master' of git://factorcode.org/git/factor
2008-08-09 Slava PestovMerge branch 'master' of git://factorforge.org/git...
2008-08-08 Slava PestovMerge branch 'master' of git://factorcode.org/git/factor
2008-08-08 Bruno DeferrariMerge branch 'master' of git://factorcode.org/git/factor
2008-08-08 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-08-08 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2008-08-08 Eduardo CavazosMove 'ui' to basis