diff options
| author | Marco Pesenti Gritti <mpg@redhat.com> | 2005-04-16 11:33:46 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@src.gnome.org> | 2005-04-16 11:33:46 (GMT) |
| commit | b4819076814b5294e4b52f5695d92ae2d79df0d6 (patch) | |
| tree | 61f6bbb4c934c56da3f2a467c1c707e7356456f1 /shell/ev-view.c | |
| parent | b263c1dfebc5946bfa1b6e1fb0d679d1c42a7dbe (diff) | |
Allow setting view spacing, default to 0
2005-04-16 Marco Pesenti Gritti <mpg@redhat.com>
* shell/ev-view.c: (ev_view_set_spacing), (ev_view_init):
* shell/ev-view.h:
Allow setting view spacing, default to 0
* shell/ev-window.c: (ev_window_unfullscreen),
(ev_window_cmd_view_fullscreen), (ev_window_init):
Remove spacing in fullscreen mode
Diffstat (limited to 'shell/ev-view.c')
| -rw-r--r-- | shell/ev-view.c | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/shell/ev-view.c b/shell/ev-view.c index 95352c1..a052582 100644 --- a/shell/ev-view.c +++ b/shell/ev-view.c @@ -1285,12 +1285,25 @@ ev_view_class_init (EvViewClass *class) add_scroll_binding_shifted (binding_set, GDK_BackSpace, EV_SCROLL_PAGE_BACKWARD, EV_SCROLL_PAGE_FORWARD, FALSE); } +void +ev_view_set_spacing (EvView *view, + int spacing) +{ + g_return_if_fail (EV_IS_VIEW (view)); + + view->spacing = spacing; + + if (view->document) { + gtk_widget_queue_resize (GTK_WIDGET (view)); + } +} + static void ev_view_init (EvView *view) { GTK_WIDGET_SET_FLAGS (view, GTK_CAN_FOCUS); - view->spacing = 10; + view->spacing = 0; view->scale = 1.0; view->current_page = 0; view->pressed_button = -1; |