File: gdk_event_property.e

package info (click to toggle)
egtk 0.3.5.cvs20020302-1
  • links: PTS
  • area: main
  • in suites: woody
  • size: 2,900 kB
  • ctags: 5,118
  • sloc: ansic: 2,212; makefile: 247; sh: 113
file content (40 lines) | stat: -rw-r--r-- 574 bytes parent folder | download | duplicates (3) 
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
 

-- Copyright 2000 Richie Bielak and others
-- Licensed under Eiffel Forum Freeware License, version 1;
-- (see forum.txt)
--
indexing

	description: "GDK_EVENT_PROPERTY - a property  change event"

class GDK_EVENT_PROPERTY

inherit

	GDK_EVENT

creation

	make_from_pointer

feature

	atom: INTEGER is
			-- type is GdkAtom
		do
			Result := c_gdk_event_property_atom (object)
		end

	time: INTEGER is
			-- time as an integer
		do
			Result := c_gdk_event_property_time (object)
		end

	state: INTEGER is
		do
			Result := c_gdk_event_property_state (object)
		end
	

end