did under Windows, so here's his patch (blatantly copied from my own
fix in windows.c :-).
git-svn-id: svn://svn.tartarus.org/sgt/puzzles@5891
cda61777-01e9-0310-a592-
d414129be87e
GtkWidget *cfgbox;
char *paste_data;
int paste_data_len;
GtkWidget *cfgbox;
char *paste_data;
int paste_data_len;
};
void get_random_seed(void **randseed, int *randseedsize)
};
void get_random_seed(void **randseed, int *randseedsize)
assert(fe->statusbar);
rewritten = midend_rewrite_statusbar(fe->me, text);
assert(fe->statusbar);
rewritten = midend_rewrite_statusbar(fe->me, text);
- gtk_statusbar_pop(GTK_STATUSBAR(fe->statusbar), fe->statusctx);
- gtk_statusbar_push(GTK_STATUSBAR(fe->statusbar), fe->statusctx, rewritten);
- sfree(rewritten);
+ if (!fe->laststatus || strcmp(rewritten, fe->laststatus)) {
+ gtk_statusbar_pop(GTK_STATUSBAR(fe->statusbar), fe->statusctx);
+ gtk_statusbar_push(GTK_STATUSBAR(fe->statusbar), fe->statusctx, rewritten);
+ sfree(fe->laststatus);
+ fe->laststatus = rewritten;
+ } else {
+ sfree(rewritten);
+ }
}
void start_draw(frontend *fe)
}
void start_draw(frontend *fe)
fe->fonts = NULL;
fe->nfonts = fe->fontsize = 0;
fe->fonts = NULL;
fe->nfonts = fe->fontsize = 0;
+ fe->laststatus = NULL;
+
fe->paste_data = NULL;
fe->paste_data_len = 0;
fe->paste_data = NULL;
fe->paste_data_len = 0;