home *** CD-ROM | disk | FTP | other *** search
/ ARM Club 3 / TheARMClub_PDCD3.iso / hensa / misc / a104_1 / !PRMindex2 / !ReadMe < prev    next >
Text File  |  1991-11-05  |  3KB  |  86 lines
  1. > Index.!ReadMe         Version 2.10  (28-Oct-93)
  2.  
  3. This is a desktop PRM index application.
  4.  
  5. Simply enter a search expression (may be wildcarded using *)
  6. and up to 16 matches are shown in a window together with the
  7. pages where the corresponding topic can be found in the PRM.
  8.  
  9. There is support for both the RISC OS 2 and 3 PRM.
  10.  
  11. The index files for RISC OS 2 and 3 were written by Andrew Brooks.
  12. Intermediate versions used a RISC OS 3 index written by Tom Hughes,
  13. but the new index by Andrew Brooks contains many additional entries.
  14.  
  15. The preferences window contains two configuration options:
  16.   1) whether the RISC OS 2 or the RISC OS 3 index file is to be used
  17.   2) whether outline fonts are to be used instead of the system font
  18. All changes made to the configuration only come into effect by
  19. quitting the application and reloading it. This should not be too
  20. much a problem as I think that no one uses both PRMs at the same time.
  21.  
  22. The application uses outline fonts in dialogue boxes and menus
  23. if desired. The font and the font size can be changed by changing
  24. the following environment variables in the !Run file:
  25.  
  26. Set      PRMindex2$IconFont <the name of the font to be used in windows>
  27. SetEval  PRMindex2$IconFontWidth <its width>
  28. SetEval  PRMindex2$IconFontHeight <its height>
  29. Set      PRMindex2$MenuFont <the name of the font to be used in menus>
  30. SetEval  PRMindex2$MenuFontWidth <its width>
  31. SetEval  PRMindex2$MenuFontHeigth <its height>
  32.   
  33. The variable PRMindex2$UseFont is normally TRUE but can be set to FALSE
  34. if you want to prevent outline fonts from being used. This overrides the
  35. configuration setting.
  36. This can be helpful if you do not have the outline font manager but the
  37. configuration is set to 'use outline fonts'.
  38.  
  39. -------------------------------------------------------------------------
  40. History:
  41.  
  42. Version 1.01: 11-Mar-92
  43. Version 2.00: 20-Jul-93
  44.               - index file is read in once at the beginning
  45.                 and not each time as version 1.01 did
  46.               - index files for both RISC OS 2 and 3
  47.                 (configurable)
  48.               - uses outline fonts in windows and menus
  49.                 (can be switched off)
  50.               - displays up to 16 matches
  51.               - window extent is adjusted to the number of matches
  52. Version 2.01: small bug removed: error 'Can't read font definition'
  53.               reported on mode changes if outline fonts were switched off
  54. Version 2.10: - uses now Andrew Brook's index file
  55.  
  56.  
  57. Author of the front-end:
  58. ------------------------
  59.  
  60. Martin Wuerthner
  61. Jahnstrasse 18
  62. D-71116 Gaertringen
  63.  
  64. Germany
  65.  
  66. Tel.: +049-7034-29262       Fax: +049-7034-21286
  67.  
  68. wuerthne@minnie.informatik.uni-stuttgart.de
  69.  
  70.  
  71. Author of the RISC OS 2 index file:
  72. -----------------------------------
  73.  
  74. Andrew Brooks
  75. arb@comp.lancs.ac.uk  or  arb%comp.lancs.ac.uk@nsfnet-relay.ac.uk
  76. Computer Science Dept,  Lancaster University,  Lancaster,  LA1 4YF.
  77.  
  78.  
  79. Copyright message:
  80. ------------------
  81.  
  82. This application is FREEWARE, i.e. it may be copied freely as long
  83. as all files are distributed together and no part of it is changed.
  84. The index files 'RiscOS2' and 'RiscOS3' are FREEWARE of their own.
  85. No part of this application may be sold for profit.
  86.