1/* This file is part of PLGI. 2 3 Copyright (C) 2015 Keri Harris <keri@gentoo.org> 4 5 PLGI is free software: you can redistribute it and/or modify 6 it under the terms of the GNU Lesser General Public License as 7 published by the Free Software Foundation, either version 2.1 8 of the License, or (at your option) any later version. 9 10 PLGI is distributed in the hope that it will be useful, 11 but WITHOUT ANY WARRANTY; without even the implied warranty of 12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 13 GNU General Public License for more details. 14 15 You should have received a copy of the GNU General Public License 16 along with PLGI. If not, see <http://www.gnu.org/licenses/>. 17*/ 18 19:- module('GLib_overrides', 20 [ 21 g_idle_add/2, 22 g_timeout_add/4, 23 g_timeout_add_seconds/4 24 ]). 25 26 27 28g_idle_add(Predicate, UserData) :- 29 plgi:plgi_g_idle_add(Predicate, UserData). 30 31g_timeout_add(Interval, Predicate, UserData, EventSourceId) :- 32 g_timeout_add_full(0, Interval, Predicate, UserData, EventSourceId). 33 34g_timeout_add_seconds(Interval, Predicate, UserData, EventSourceId) :- 35 g_timeout_add_seconds_full(0, Interval, Predicate, UserData, EventSourceId)