File: set_stack_sig.doc

package info (click to toggle)
hol88 2.02.19940316-28
  • links: PTS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 65,924 kB
  • ctags: 21,595
  • sloc: ml: 199,939; ansic: 9,666; sh: 7,118; makefile: 6,075; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5
file content (26 lines) | stat: -rw-r--r-- 699 bytes parent folder | download | duplicates (11) 
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
 
\DOC set_stack_sig

\TYPE {set_stack_sig : string signal}

\SYNOPSIS
Raised after the current stack is changed.

\LIBRARY window

\DESCRIBE
The signal {set_stack_sig} is raised after the current stack is changed.
The signal is raised with the name of the new current stack.

When the window library is first loaded a handler is associated with this signal
that will print the window on top of the new current stack.
Loading the xlabel component associates another handler with this signal
that sets the label on the xterminal in which HOL is running to the name
of the new current stack.

\FAILURE
Never fails.

\SEEALSO
beg_stack_sig, end_stack_sig, cng_win_sig, pop_win_sig, psh_win_sig.

\ENDDOC