Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#147 pm terminal: can't set a default font

open
nobody
None
5
2006-07-29
2006-06-30
No

The font option to set termoption does only work for
terminals that actually support this option.

E.g. for the pm terminal
`set termoption font "somefont"`
does not change the font but rather changes the window
title of the plot window.

In my opinion this bug is not release critical for 4.2.

Discussion

  • Ethan Merritt
    Ethan Merritt
    2006-06-30

    Logged In: YES
    user_id=235620

    Apparently the pm terminal does not support setting a
    default font at all, and mis-parses an attempt to do so. E.g.:
    set term pm font "Arial"
    fails silently, but as you say it has the strange side
    effect of setting the window title to "Arial". If the 'set
    term pm' command itself is extended to take a font, the 'set
    termoption' will also work.

    The pm driver does support term->set_font(), so I would
    expect this to be a straightforward addition. Could some
    os2 user contribute a patch?

     
  • Ethan Merritt
    Ethan Merritt
    2006-07-29

    • summary: pm terminal: set termoption font not working --> pm terminal: can't set a default font
     
  • Ethan Merritt
    Ethan Merritt
    2006-07-29

    Logged In: YES
    user_id=235620

    Moving this one to a feature request