Menu ▾ ▴

#7 Font selection

closed
Edwin Dankert
None
8
2003-10-02
2003-03-31
Edwin Dankert
No

Allow the user to select different fonts for the
editor and the viewer. This should make different
character-sets visible.

Discussion

  • Edwin Dankert

    Edwin Dankert - 2003-10-02
    • status: open --> closed
     

  • Edwin Dankert

    Edwin Dankert - 2003-10-02

    Logged In: YES
    user_id=452928

    Added global font-selection in the explorer window, which
    controls the font in the explorer, editor and viewer windows.

     

Log in to post a comment.