#16 JBrowse uses wrong font

closed-wont-fix
None
2
2006-09-04
2002-04-04
No

The JBrowse plug in does not use the font I specify in
jEdit global options as the "List, tree, table, text
field" font. I would expect it to.

Discussion

  • J. B. Rainsberger

    • priority: 5 --> 2
     
  • Slava Pestov

    Slava Pestov - 2003-05-29
    • labels: 102671 -->
    • milestone: 101609 -->
     
  • Brad Mace

    Brad Mace - 2003-06-17
    • assigned_to: nobody --> akaplan
     
  • Alan Ezust

    Alan Ezust - 2006-09-04

    Logged In: YES
    user_id=935841

    JBrowse is no longer supported. Please use JavaSideKick.

     
  • Alan Ezust

    Alan Ezust - 2006-09-04
    • status: open --> closed-wont-fix
     

Log in to post a comment.