
;; Copyright (C) 2020, 2022, 2023 Tommi Höynälänmaa

;; This file is part of Theme-D-Intr.

;; You can redistribute and/or modify this file under the terms of the
;; GNU General Public License as published by the Free Software
;; Foundation, either version 3 of the License, or (at your option) any
;; later version.

;; This file is distributed in the hope that it will be useful, but
;; WITHOUT ANY WARRANTY; without even the implied warranty of
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
;; General Public License for more details.

;; You should have received a copy of the GNU General Public License
;; along with this program. If not, see https://www.gnu.org/licenses/.


(intr-entities
 (version Gtk "3.0")
 (classes
  (Gtk Widget)
  (Gtk Application)
  (Gtk ApplicationWindow)
  (Gtk Button)
  (Gtk VBox)
  (Gtk HBox)
  (Gtk ScrolledWindow)
  (Gtk TextBuffer)
  (Gtk TextView)
  (Gtk Entry)
  (Gtk Label)
  (Gtk HSeparator)
  (Gtk TextTagTable)
  (Gtk TextTag)
  (Gtk TextMark))
 (overridden-functions
  (gtk-text-buffer-insert (<gtk-text-buffer> <pointer> <string>)
			  <none> nonpure)
  (g-application-run (<g-application> (:uniform-list <string>))
		     <integer> nonpure)))

