home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
ARM Club 3
/
TheARMClub_PDCD3.iso
/
hensa
/
misc
/
a104_1
/
!PRMindex2
/
!ReadMe
< prev
next >
Wrap
Text File
|
1991-11-05
|
3KB
|
86 lines
> Index.!ReadMe Version 2.10 (28-Oct-93)
This is a desktop PRM index application.
Simply enter a search expression (may be wildcarded using *)
and up to 16 matches are shown in a window together with the
pages where the corresponding topic can be found in the PRM.
There is support for both the RISC OS 2 and 3 PRM.
The index files for RISC OS 2 and 3 were written by Andrew Brooks.
Intermediate versions used a RISC OS 3 index written by Tom Hughes,
but the new index by Andrew Brooks contains many additional entries.
The preferences window contains two configuration options:
1) whether the RISC OS 2 or the RISC OS 3 index file is to be used
2) whether outline fonts are to be used instead of the system font
All changes made to the configuration only come into effect by
quitting the application and reloading it. This should not be too
much a problem as I think that no one uses both PRMs at the same time.
The application uses outline fonts in dialogue boxes and menus
if desired. The font and the font size can be changed by changing
the following environment variables in the !Run file:
Set PRMindex2$IconFont <the name of the font to be used in windows>
SetEval PRMindex2$IconFontWidth <its width>
SetEval PRMindex2$IconFontHeight <its height>
Set PRMindex2$MenuFont <the name of the font to be used in menus>
SetEval PRMindex2$MenuFontWidth <its width>
SetEval PRMindex2$MenuFontHeigth <its height>
The variable PRMindex2$UseFont is normally TRUE but can be set to FALSE
if you want to prevent outline fonts from being used. This overrides the
configuration setting.
This can be helpful if you do not have the outline font manager but the
configuration is set to 'use outline fonts'.
-------------------------------------------------------------------------
History:
Version 1.01: 11-Mar-92
Version 2.00: 20-Jul-93
- index file is read in once at the beginning
and not each time as version 1.01 did
- index files for both RISC OS 2 and 3
(configurable)
- uses outline fonts in windows and menus
(can be switched off)
- displays up to 16 matches
- window extent is adjusted to the number of matches
Version 2.01: small bug removed: error 'Can't read font definition'
reported on mode changes if outline fonts were switched off
Version 2.10: - uses now Andrew Brook's index file
Author of the front-end:
------------------------
Martin Wuerthner
Jahnstrasse 18
D-71116 Gaertringen
Germany
Tel.: +049-7034-29262 Fax: +049-7034-21286
wuerthne@minnie.informatik.uni-stuttgart.de
Author of the RISC OS 2 index file:
-----------------------------------
Andrew Brooks
arb@comp.lancs.ac.uk or arb%comp.lancs.ac.uk@nsfnet-relay.ac.uk
Computer Science Dept, Lancaster University, Lancaster, LA1 4YF.
Copyright message:
------------------
This application is FREEWARE, i.e. it may be copied freely as long
as all files are distributed together and no part of it is changed.
The index files 'RiscOS2' and 'RiscOS3' are FREEWARE of their own.
No part of this application may be sold for profit.