forked from aniani/vim
patch 9.0.1341: build error with mzscheme but without GUI
Problem: Build error with mzscheme but without GUI. Solution: Adjust #ifdefs. (Ken Takata, closes #12042) Also fix function argument.
This commit is contained in:
parent
666cb9c530
commit
4ee083e7f9
@ -886,19 +886,21 @@ remove_timer(void)
|
|||||||
timer_id = 0;
|
timer_id = 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
#endif // MZSCHEME_GUI_THREADS
|
||||||
|
|
||||||
char *
|
char *
|
||||||
did_set_mzquantum(void)
|
did_set_mzquantum(optset_T *args UNUSED)
|
||||||
{
|
{
|
||||||
|
#if defined(MZSCHEME_GUI_THREADS)
|
||||||
// reset timer
|
// reset timer
|
||||||
if (timer_id != 0)
|
if (timer_id != 0)
|
||||||
remove_timer();
|
remove_timer();
|
||||||
if (mz_threads_allow && p_mzq > 0 && gui.in_use)
|
if (mz_threads_allow && p_mzq > 0 && gui.in_use)
|
||||||
setup_timer();
|
setup_timer();
|
||||||
|
#endif
|
||||||
return NULL;
|
return NULL;
|
||||||
}
|
}
|
||||||
|
|
||||||
#endif // MZSCHEME_GUI_THREADS
|
|
||||||
|
|
||||||
static void
|
static void
|
||||||
notify_multithread(int on)
|
notify_multithread(int on)
|
||||||
{
|
{
|
||||||
|
@ -1,7 +1,7 @@
|
|||||||
/* if_mzsch.c */
|
/* if_mzsch.c */
|
||||||
int mzscheme_enabled(int verbose);
|
int mzscheme_enabled(int verbose);
|
||||||
void mzvim_check_threads(void);
|
void mzvim_check_threads(void);
|
||||||
char *did_set_mzquantum(void);
|
char *did_set_mzquantum(optset_T *args);
|
||||||
void mzscheme_end(void);
|
void mzscheme_end(void);
|
||||||
int mzscheme_main(void);
|
int mzscheme_main(void);
|
||||||
void mzscheme_buffer_free(buf_T *buf);
|
void mzscheme_buffer_free(buf_T *buf);
|
||||||
|
@ -695,6 +695,8 @@ static char *(features[]) =
|
|||||||
|
|
||||||
static int included_patches[] =
|
static int included_patches[] =
|
||||||
{ /* Add new patch number below this line */
|
{ /* Add new patch number below this line */
|
||||||
|
/**/
|
||||||
|
1341,
|
||||||
/**/
|
/**/
|
||||||
1340,
|
1340,
|
||||||
/**/
|
/**/
|
||||||
|
Loading…
x
Reference in New Issue
Block a user