File: empty_rules.doc

package info (click to toggle)
hol88 2.02.19940316-1
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 63,052 kB
  • ctags: 19,365
  • sloc: ml: 199,939; ansic: 9,300; sh: 7,118; makefile: 6,076; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5
file content (27 lines) | stat: -rw-r--r-- 713 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
27
 
\DOC empty_rules

\TYPE {empty_rules : (void -> void)}

\SYNOPSIS
Deletes all window rules from the system's tables.

\LIBRARY window

\DESCRIBE
The system maintains a table of window rules for opening subwindows.
This command is used to purge that table.
You may wish to use this command if you do not whish to use those rules
that are loaded by the system by default.
You may also wish to use this command if you have added an erroneous
rule to the systems tables with the {store_rule} command.
To reload the default entries in the table you should reload the following
segments of the window library: {basic_close}, {eq_close}, {imp_close} and
{pmi_close}.

\FAILURE
Never fails.

\SEEALSO
store_rule

\ENDDOC