On 13 Aug 2003, Dave Maddock wrote:
> > Any possibility to make it pluggable dictionaries to use (ie end user
> > can swap in a file that they want to use for charrefs dictionary)?
>
> Attached is a simple patch to implement a dictionary of alternate
> mappings of unicode characters. The user can replace UnicodeDict.py
> with a custom dictionary if they choose. The included dictionary maps:
>
> - Extended Latin characters used by Esperanto.
> - Greek and Extended Greek ranges.
> - Most of the General Punctuation range
> - Fractions and Roman numerals
> - Some arrows
>
> If you'd like to see some results of the changes, try pluckering the
> Unicode Greek New Testament on Pluckerbooks with and without the patch:
> http://dave.pluckerbooks.com:81/index.php?action=details&id=2001
I assume this won't affect sites that use GreekKeys or other encodings,
which one can do right now by generating a GreekKeys font? (Now font
packages can be easily (with a GUI!) be generated from ttf and type1
fonts.)
Alex
--
Dr. Alexander R. Pruss || e-mail: [EMAIL PROTECTED]
Philosophy Department || online papers and home page:
Georgetown University || www.georgetown.edu/faculty/ap85
Washington, DC 20057 ||
U.S.A. ||
-----------------------------------------------------------------------------
"Philosophiam discimus non ut tantum sciamus, sed ut boni efficiamur."
- Paul of Worczyn (1424)
_______________________________________________
plucker-dev mailing list
[EMAIL PROTECTED]
http://lists.rubberchicken.org/mailman/listinfo/plucker-dev
