qi-hardware/eda-tools
1
0
Fork 0
mirror of git://projects.qi-hardware.com/eda-tools.git synced 2024-10-04 06:29:47 +03:00
Code

eeshow/gui.c (gui): set default size to 640 x 480 pixels

Browse Source
This commit is contained in:
Werner Almesberger 2016-08-07 22:34:01 -03:00
parent 24422a7721
commit f8cc8ba598
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
eeshow/gui.c
View File

@ -375,13 +375,14 @@ static void go_to_history(struct gui_hist *h)
if (h == ctx->curr_hist) { if (h == ctx->curr_hist) {
ctx->last_hist = NULL; ctx->last_hist = NULL;
do_revision_overlays(ctx);
redraw(ctx);
} else { } else {
ctx->last_hist = ctx->curr_hist; ctx->last_hist = ctx->curr_hist;
ctx->curr_hist = h; ctx->curr_hist = h;
go_to_sheet(ctx, find_corresponding_sheet(h->sheets, go_to_sheet(ctx, find_corresponding_sheet(h->sheets,
ctx->last_hist->sheets, ctx->curr_sheet)); 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); GDK_POINTER_MOTION_MASK);
// gtk_window_set_position(GTK_WINDOW(window), GTK_WIN_POS_CENTER); // 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"); gtk_window_set_title(GTK_WINDOW(window), "eeshow");
go_to_sheet(&ctx, ctx.curr_hist->sheets); go_to_sheet(&ctx, ctx.curr_hist->sheets);