307 |
extern void init_kboard P_ ((KBOARD *)); |
extern void init_kboard P_ ((KBOARD *)); |
308 |
extern void delete_kboard P_ ((KBOARD *)); |
extern void delete_kboard P_ ((KBOARD *)); |
309 |
extern void single_kboard_state P_ ((void)); |
extern void single_kboard_state P_ ((void)); |
310 |
|
extern void not_single_kboard_state P_ ((KBOARD *)); |
311 |
extern void push_frame_kboard P_ ((struct frame *)); |
extern void push_frame_kboard P_ ((struct frame *)); |
312 |
extern void pop_frame_kboard P_ ((void)); |
extern void pop_frame_kboard P_ ((void)); |
313 |
extern void record_asynch_buffer_change P_ ((void)); |
extern void record_asynch_buffer_change P_ ((void)); |