mailing-list for TeXmacs Users

[Aleksandr Dobkin <address@hidden>]

Hi,

I was able to replicate your issue in a recent version of TeXmacs and
resolved the issue. Newer versions of TeXmacs do not seem to support
balloons in file menus so I replaced the balloons with plain text.

Please checkout the new version from

https://gitorious.org/texmacs-better-fonts/texmacs-better-fonts-pfb

In a separate issue, when I print a TeXmacs document some of the
letters are not positioned correctly but are jagged like on a bad
typewriter. But this is happening with the default Computer Modern.
Not sure what the issue is.

Aleksandr Dobkin

On Mon, Jul 11, 2011 at 5:26 AM,  <address@hidden> wrote:
> Thanks for this.  The fonts look good; only the menu doesn't work.  I get:
>
> <unnamed port>: In procedure gui-menu-item in expression (ovl-apply
> (ahash-ref ovl-table #) args):
> <unnamed port>: invalid menu item (text (Times rm medium right 24) "Times")
> ...
>
> Thanks for this!  It should be part of the TeXmacs distribution.
>
> On Sun, 10 Jul 2011, Aleksandr Dobkin wrote:
>
>> Hi,
>>
>> A while ago I reencoded a number of popular fonts for use with
>> TeXmacs. They all have proper ligature and kerning support. A few
>> like, like Times (Nimbus Roman No9) have math support and small
>> capitals.
>>
>> See a sample here http://dl.dropbox.com/u/384906/texmacs-fonts/sample.pdf
>>
>> Download here http://dl.dropbox.com/u/384906/texmacs-fonts/fonts-f.zip
>>
>> Instructions:
>>
>> Run 'install.sh' to install the fonts into your local .TeXmacs
>> directory. This will overwrite your own my-init-texmacs.scm if you
>> have it! In TeXmacs there will be a new FreeFonts menu.
>>
>> The license for all of these fonts is GPL with the embedding
>> exception, with the exception of DejaVu.
>>
>> Is this what you were looking for?
>>
>> Aleksandr Dobkin
>>
>> On Sun, Jul 10, 2011 at 12:19 PM,  <address@hidden> wrote:
>>>
>>> Okay I ended up renaming uwr from their orginal names to things like:
>>>
>>> rphvboc.pfb  rphvbo.pfb  rphvb.pfb  rphvbrc.pfb  rphvroc.pfb  rphvro.pfb
>>> rphvr.pfb  rphvrrc.pfb
>>>
>>> But this cannot possible be the right way to deal with this problem.
>>>
>>> What is the proper way of getting type 1 fonts for Times and Helvetica?
>>>
>>> On Sun, 10 Jul 2011, address@hidden wrote:
>>>
>>>> Anyone know where I can get type 1 fonts for Times?
>>>>
>>>> On Mon, 14 Mar 2011, address@hidden wrote:
>>>>
>>>>> Okay, I've got CMR fonts in my exported PDF files as Type 1C fonts, but
>>>>> what I really want is Times (and Helvetica) fonts as Type 1 fonts as
>>>>> well,
>>>>> but I still only get Type 3 fonts for those.
>>>>>
>>>>> I've tried with tex-live and also tetex installed and nothing works
>>>>> yet.
>>>>>
>>>>>
>>>>
>>>>
>>>
>>> --
>>> Russell O'Connor                                      <http://r6.ca/>
>>> ``All talk about `theft,''' the general counsel of the American
>>> Graphophone
>>> Company wrote, ``is the merest claptrap, for there exists no property in
>>> ideas musical, literary or artistic, except as defined by statute.''
>>>
>>
>
> --
> Russell O'Connor                                      <http://r6.ca/>
> ``All talk about `theft,''' the general counsel of the American Graphophone
> Company wrote, ``is the merest claptrap, for there exists no property in
> ideas musical, literary or artistic, except as defined by statute.''