1 /* 2 * xed-io-error-info-bar.h 3 * This file is part of xed 4 * 5 * Copyright (C) 2005 - Paolo Maggi 6 * 7 * This program is free software; you can redistribute it and/or modify 8 * it under the terms of the GNU General Public License as published by 9 * the Free Software Foundation; either version 2 of the License, or 10 * (at your option) any later version. 11 * 12 * This program is distributed in the hope that it will be useful, 13 * but WITHOUT ANY WARRANTY; without even the implied warranty of 14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 15 * GNU General Public License for more details. 16 * 17 * You should have received a copy of the GNU General Public License 18 * along with this program; if not, write to the Free Software 19 * Foundation, Inc., 51 Franklin St, Fifth Floor, 20 * Boston, MA 02110-1301, USA. 21 */ 22 23 /* 24 * Modified by the xed Team, 2005. See the AUTHORS file for a 25 * list of people on the xed Team. 26 * See the ChangeLog files for a list of changes. 27 * 28 * $Id$ 29 */ 30 31 #ifndef __XED_IO_ERROR_INFO_BAR_H__ 32 #define __XED_IO_ERROR_INFO_BAR_H__ 33 34 #include <gtksourceview/gtksource.h> 35 36 G_BEGIN_DECLS 37 38 GtkWidget *xed_io_loading_error_info_bar_new (GFile *location, 39 const GtkSourceEncoding *encoding, 40 const GError *error); 41 42 GtkWidget *xed_unrecoverable_reverting_error_info_bar_new (GFile *location, 43 const GError *error); 44 45 GtkWidget *xed_conversion_error_while_saving_info_bar_new (GFile *location, 46 const GtkSourceEncoding *encoding, 47 const GError *error); 48 49 const GtkSourceEncoding *xed_conversion_error_info_bar_get_encoding (GtkWidget *info_bar); 50 51 GtkWidget *xed_file_already_open_warning_info_bar_new (GFile *location); 52 53 GtkWidget *xed_externally_modified_saving_error_info_bar_new (GFile *location, 54 const GError *error); 55 56 GtkWidget *xed_no_backup_saving_error_info_bar_new (GFile *location, 57 const GError *error); 58 59 GtkWidget *xed_unrecoverable_saving_error_info_bar_new (GFile *location, 60 const GError *error); 61 62 GtkWidget *xed_externally_modified_info_bar_new (GFile *location, 63 gboolean document_modified); 64 65 GtkWidget *xed_invalid_character_info_bar_new (GFile *location); 66 67 G_END_DECLS 68 69 #endif /* __XED_IO_ERROR_INFO_BAR_H__ */ 70