Searched refs:prev_shell (Results 1 – 1 of 1) sorted by relevance
10538 static Widget prev_shell = (Widget) NULL; in cd_shell_focus_chg() local10543 if (prev_shell != NULL) { in cd_shell_focus_chg()10544 if (shell == prev_shell) in cd_shell_focus_chg()10547 hotkey_ungrabkeys(prev_shell); in cd_shell_focus_chg()10552 prev_shell = shell; in cd_shell_focus_chg()