void nd_clipboard_init (void); void nd_clipboard_cut (void); void nd_clipboard_copy (void); void nd_clipboard_paste (void); int nd_clipboard_occupied (void); void nd_clipboard_selection_handle (GtkWidget *list, GtkSelectionData *selection_data, gpointer data); |