copying it to there manually doesn't make it available to texmacs.Yes, there is a problem there.
possibly, the memory of the available fonts is hardcoded in texmacs?
this is true but the title in the pdf viewer is taken from the pdfThere are probably variations across the systems,
file's metadata. here's such a section from a pdf file:
<</Producer(GNU Ghostscript 8.01)
/CreationDate(D:20071122150019)
/ModDate(D:20071122150019)
/Creator(TeXmacs-1.0.6.12)
/Title(/root/.TeXmacs/system/tmp/tmp_999516737.ps)
endobj
possibly ghostscript puts in the title if no title is set on
commandline.
linux with gtk+ 2.10. the context menue is available in both theThere are problems in this one too, although it seems
fullscreen and the normal view. but it doesn't do anything. it doesn't
even highlight the entries when moving the mouse over them. for a
luck, it disappears when clicking to elsewhere :)
Archive powered by MHonArc 2.6.19.