File: beg_stack_sig.doc

package info (click to toggle)
hol88 2.02.19940316-33
  • links: PTS
  • area: main
  • in suites: stretch
  • size: 65,988 kB
  • ctags: 21,623
  • sloc: ml: 199,939; ansic: 9,666; sh: 7,118; makefile: 6,095; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5
file content (26 lines) | stat: -rw-r--r-- 668 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 beg_stack_sig

\TYPE {beg_stack_sig : string signal}

\SYNOPSIS
Raised after a new window stack is begun.

\LIBRARY window

\DESCRIBE
The signal {beg_stack_sig} is raised after a new stack is created.
The signal is raised with the name of the new 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 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 stack.

\FAILURE
Never fails.

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

\ENDDOC