/* See LICENSE file for copyright and license details. */ static void grabfocus_x11(void);