Changeset 181 for trunk/expgui


Ignore:
Timestamp:
Dec 4, 2009 5:01:45 PM (11 years ago)
Author:
toby
Message:

# on 2000/06/01 02:48:14, toby did:
define default txtview(font)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/expgui

    • Property rcs:date changed from 2000/05/18 15:58:18 to 2000/06/01 02:48:14
    • Property rcs:lines changed from +19 -10 to +3 -2
    • Property rcs:rev changed from 1.25 to 1.26
    r152 r181  
    5555set wishshell [info nameofexecutable]
    5656# misc constants
     57set txtvw(font) "Courier"
    5758set expgui(coordfont) "-*-courier-bold-r-normal--12-*"
    5859set expgui(histfont) "-*-courier-bold-r-normal--12-*"
Note: See TracChangeset for help on using the changeset viewer.