This file is indexed.

/usr/share/pygtk/2.0/defs/ethosui.defs is in python-ethos 0.2.2-3.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
;; -*- scheme -*-
; object definitions ...
(define-object ManagerWidget
  (in-module "EthosUI")
  (parent "GtkVBox")
  (c-name "EthosUIManagerWidget")
  (gtype-id "ETHOS_UI_TYPE_MANAGER_WIDGET")
)

;; Enumerations and flags ...


;; From ethos-ui-manager-widget.h

(define-function ethos_ui_manager_widget_get_type
  (c-name "ethos_ui_manager_widget_get_type")
  (return-type "GType")
)

(define-function ethos_ui_manager_widget_new
  (c-name "ethos_ui_manager_widget_new")
  (is-constructor-of "EthosUiManagerWidget")
  (return-type "GtkWidget*")
)

(define-method set_manager
  (of-object "EthosUIManagerWidget")
  (c-name "ethos_ui_manager_widget_set_manager")
  (return-type "none")
  (parameters
    '("EthosManager*" "manager")
  )
)



;; From ethos-ui-configurable.h

(define-function ethos_ui_configurable_get_type
  (c-name "ethos_ui_configurable_get_type")
  (return-type "GType")
)

(define-method configure
  (of-object "EthosUIConfigurable")
  (c-name "ethos_ui_configurable_configure")
  (return-type "none")
  (parameters
    '("GtkWidget*" "parent")
  )
)



;; From ethos-ui.h