diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-01-27 01:45:09 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-01-27 01:45:09 (GMT) |
| commit | eeaf51704988bcc771c950128ce4c011e1dc7d91 (patch) | |
| tree | 60aa0f86b3ccc8ee217fa905c9f6266650ee1233 /shell | |
| parent | 679f6f7c468c2171da62511cf214d10470c7ebb1 (diff) | |
We was no more scaling icons depending on screen resolution, fix it
Diffstat (limited to 'shell')
| -rw-r--r-- | shell/view/stylesheet.py | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/shell/view/stylesheet.py b/shell/view/stylesheet.py index 088875c..83ea9dd 100644 --- a/shell/view/stylesheet.py +++ b/shell/view/stylesheet.py @@ -25,22 +25,26 @@ grid = Grid() frame_ActivityIcon = { 'color' : IconColor('white'), - 'box-width' : grid.dimension(1) + 'box-width' : grid.dimension(1), + 'scale' : style.standard_icon_scale } frame_OverlayIcon = { 'box-width' : grid.dimension(1), - 'box-height' : grid.dimension(1) + 'box-height' : grid.dimension(1), + 'scale' : style.standard_icon_scale } frame_ZoomIcon = { 'box-width' : grid.dimension(1), - 'box-height' : grid.dimension(1) + 'box-height' : grid.dimension(1), + 'scale' : style.standard_icon_scale } frame_BuddyIcon = { 'box-width' : grid.dimension(1), - 'box-height' : grid.dimension(1) + 'box-height' : grid.dimension(1), + 'scale' : style.standard_icon_scale } home_MyIcon = { |