From f8cc8ba598d9342678a8e8f1c1548fd0810b79ed Mon Sep 17 00:00:00 2001 From: Werner Almesberger Date: Sun, 7 Aug 2016 22:34:01 -0300 Subject: [PATCH] eeshow/gui.c (gui): set default size to 640 x 480 pixels --- eeshow/gui.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/eeshow/gui.c b/eeshow/gui.c index 015d318..b4faddf 100644 --- a/eeshow/gui.c +++ b/eeshow/gui.c @@ -375,13 +375,14 @@ static void go_to_history(struct gui_hist *h) if (h == ctx->curr_hist) { ctx->last_hist = NULL; + do_revision_overlays(ctx); + redraw(ctx); } else { ctx->last_hist = ctx->curr_hist; ctx->curr_hist = h; go_to_sheet(ctx, find_corresponding_sheet(h->sheets, ctx->last_hist->sheets, ctx->curr_sheet)); } - do_revision_overlays(ctx); } @@ -936,7 +937,7 @@ int gui(unsigned n_args, char **args, bool recurse) GDK_POINTER_MOTION_MASK); // gtk_window_set_position(GTK_WINDOW(window), GTK_WIN_POS_CENTER); -// gtk_window_set_default_size(GTK_WINDOW(window), 400, 90); + gtk_window_set_default_size(GTK_WINDOW(window), 640, 480); gtk_window_set_title(GTK_WINDOW(window), "eeshow"); go_to_sheet(&ctx, ctx.curr_hist->sheets);