Re: [PATCH 02/10] ui/gtk: fix handling of AltGr key on Windows

[Gerd Hoffmann]

  Hi,

> +#ifdef CONFIG_WIN32
> +    win32_kbd_set_grab(true);
> +#endif

Can we have stubs for these (see stubs/ directory for examples) so we
can avoid the #ifdefs?

thanks,
  Gerd