Marco Pesenti Gritti
|
f7a1900d3d
|
Do not redraw/resize if the properties doesn't actually change.
In the Icon widget queue resize and redraw as appropriate.
|
2007-09-10 02:54:47 +02:00 |
|
Marco Pesenti Gritti
|
be32e7e40d
|
Tweak a color pair as requested by Walter.
|
2007-08-13 18:02:41 +02:00 |
|
Marco Pesenti Gritti
|
b01dbc5e75
|
Integrate new colors from Walter.
Add a little parser to xocolor.py.
|
2007-07-11 14:15:58 +02:00 |
|
Marco Pesenti Gritti
|
99e8077f59
|
Implement fix-copyright and fix some of them
|
2007-06-24 14:43:48 +02:00 |
|
Dan Williams
|
d0c5050a25
|
Randomize color list so it can be indexed into with a hashed value
|
2007-03-15 22:02:41 -04:00 |
|
Tomeu Vizoso
|
cb0d75eb59
|
Rename IconColor to XoColor.
|
2007-02-23 13:09:33 +01:00 |
|