diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2005-09-19 15:07:36 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-09-19 15:07:36 (GMT) |
commit | 7d9e5143adb83d52169fae99f3c07b953e948d8e (patch) | |
tree | 419e5537ca8b1ba07e99413078f03f89e7b1ee29 /shell/ev-view.c | |
parent | b9aef17e3af39e3b9364a3e2a8d7fa56d735fc4c (diff) |
Dont cast to int before scaling
2005-09-19 Marco Pesenti Gritti <mpg@redhat.com>
* shell/ev-page-cache.c: (ev_page_cache_get_size):
Dont cast to int before scaling
Diffstat (limited to 'shell/ev-view.c')
0 files changed, 0 insertions, 0 deletions