Re: Removing redisplay-dont-pause

[Vincenzo Pupillo]

In data giovedì 19 dicembre 2024 12:17:55 Ora standard dell’Europa centrale, 
Gerd Möllmann ha scritto:
> Vincenzo Pupillo <v.pupillo@gmail.com> writes:
> > Ciao,
> > 
> > compilation fails with this merge. See bug#74968.
> > 
> > [vincenzo@fedora emacs]$(master =) rg Qredisplay_dont_pause
> > src/xterm.c
> > 6372:  specbind (Qredisplay_dont_pause, Qt);
> > 
> > src/xfns.c
> > 9967:  specbind (Qredisplay_dont_pause, Qt);
> > 
> > src/pgtkterm.c
> > 7635:  specbind (Qredisplay_dont_pause, Qt);
> > 
> > src/ChangeLog.9
> > 8146:   * dispextern.h (Qredisplay_dont_pause): Declare extern.
> > 8152:   * dispnew.c (Qredisplay_dont_pause): New variable.
> > 
> > src/pgtkfns.c
> > 3672:  specbind (Qredisplay_dont_pause, Qt);
> > 
> > Vincenzo
> 
> Thanks, should be fixed now.
Yes, it works. Thank you.