File: destroy_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 (33 lines) | stat: -rw-r--r-- 521 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
 
indexing
	description: "Handle the GTK destroy signal"
	author: "Dave E Martin XXIII"
	genesis: "199905122316 utc"
	version: "v 0.3.5 GTK+ 1.2.x"
	gtk_version: "1.2"

class DESTROY_COMMAND

inherit
	GTK_DESTROY_COMMAND

creation
	make

feature {NONE} -- initialization
	make (widget: GTK_WIDGET; the_app: GTK_APPLICATION) is
		do
			app := the_app
			make_destroy (widget)
		ensure
			app_set: app = the_app
		end

feature {NONE} -- implementation
	app: GTK_APPLICATION

	execute is
		do
			app.main_loop_quit
		end

end