File: close_window_command.e

package info (click to toggle)
egtk 0.3.6-8
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 2,984 kB
  • ctags: 5,256
  • sloc: ansic: 2,320; sh: 273; makefile: 234
file content (41 lines) | stat: -rw-r--r-- 496 bytes parent folder | download | duplicates (5) 
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
 
-- Copyright 1998 Richie Bielak and others
-- Licensed under Eiffel Forum Freeware License, version 1;
-- (see forum.txt)
--
class CLOSE_WINDOW_COMMAND

inherit

	GDK_EVENT_COMMAND
		redefine
			parent
		end

creation

	make

feature

	make (new_window: GTK_WINDOW) is
		do
			window := new_window
		end


	execute is
		do
			if window = Void then
				parent.destroy
			else
				window.destroy
			end
		end

	window: GTK_WINDOW
			-- window to close

	parent: GTK_WIDGET
			-- parent widget

end