/src/wrappers/gtk/library/expanded_gtk_text_iter.e
Specman e | 37 lines | 27 code | 8 blank | 2 comment | 2 complexity | a72d07bab7abb40b843b8843b93e1b50 MD5 | raw file
1indexing 2 description: "." 3 copyright: "[ 4 Copyright (C) 2008 Paolo Redaelli 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 22expanded class EXPANDED_GTK_TEXT_ITER 23 24insert GTK_TEXT_ITER redefine dispose end 25 26creation default_create, from_external_pointer 27 28feature 29 dispose is do end 30 31 to_ref: GTK_TEXT_ITER is 32 -- A newly allocated iterator copyied from Current. Result 33 -- is not expanded and it is allocated on the heap. 34 do 35 create Result.from_external_pointer(gtk_text_iter_copy(handle)) 36 end 37end -- class EXPANDED_GTK_TEXT_ITER