diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-07-06 13:21:50 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-07-06 13:21:50 (GMT) |
| commit | 739dbafa97525f3a92425fbaf0033d2d58a0a260 (patch) | |
| tree | bc4ce8af01fcb61b31d984bd15c26e7b35c6d114 /shell | |
| parent | 943214dee35df019efa266446a8e544b97fcbafd (diff) | |
Improve tooltips sizing
Diffstat (limited to 'shell')
0 files changed, 0 insertions, 0 deletions