diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/keyboard.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/keyboard.c b/src/keyboard.c index da1ce089b9d..e447211a277 100644 --- a/src/keyboard.c +++ b/src/keyboard.c | |||
| @@ -10032,9 +10032,11 @@ delete_kboard (kb) | |||
| 10032 | *kbp = kb->next_kboard; | 10032 | *kbp = kb->next_kboard; |
| 10033 | 10033 | ||
| 10034 | /* Prevent a dangling reference to KB. */ | 10034 | /* Prevent a dangling reference to KB. */ |
| 10035 | if (kb == current_kboard) | 10035 | if (kb == current_kboard |
| 10036 | && FRAMEP (selected_frame) | ||
| 10037 | && FRAME_LIVE_P (XFRAME (selected_frame))) | ||
| 10036 | { | 10038 | { |
| 10037 | current_kboard = SELECTED_FRAME ()->kboard; | 10039 | current_kboard = XFRAME (selected_frame)->kboard; |
| 10038 | if (current_kboard == kb) | 10040 | if (current_kboard == kb) |
| 10039 | abort (); | 10041 | abort (); |
| 10040 | } | 10042 | } |