/src/wrappers/gtk/library/dialog_flags.e
Specman e | 32 lines | 28 code | 4 blank | 0 comment | 2 complexity | 79fc7e804fb3ce4736dfac163adbaab8 MD5 | raw file
1indexing 2 description: "High level version of GtkDialogFLags." 3 copyright: "[ 4 Copyright (C) 2006 Paolo redaelli, eiffel-libraries team, GTK+ team and others 5 6 This library is free software; you can redistribute it and/or 7 modify it under the terms of the GNU Lesser General Public License 8 as published by the Free Software Foundation; either version 2.1 of 9 the License, or (at your option) any later version. 10 11 This library is distributed in the hope that it will be useful, but 12 WITHOUT ANY WARRANTY; without even the implied warranty of 13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 14 Lesser General Public License for more details. 15 16 You should have received a copy of the GNU Lesser General Public 17 License along with this library; if not, write to the Free Software 18 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 19 02110-1301 USA 20 ]" 21 license: "LGPL v2 or later" 22 date: "$Date:$" 23 revision: "$Revision:$" 24 25deferred class DIALOG_FLAGS 26inherit GTK_DIALOG_FLAGS 27 rename 28 gtk_dialog_modal as modal_dialog, 29 gtk_dialog_destroy_with_parent as destroy_with_parent 30 gtk_dialog_no_separator as no_separator 31 end 32end