Changeset 427


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

# on 2001/09/04 22:55:55, toby did:
larger optional font

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/excledt.tcl

    • Property rcs:date changed from 2001/09/04 22:37:09 to 2001/09/04 22:55:55
    • Property rcs:rev changed from 1.1 to 1.2
    • Property rcs:lines set to +3 -3
    r424 r427  
    16681668        -label "Screen font"
    16691669menu .a.options.menu.font
    1670 foreach f {10 11 12 13 14 16 18 20} {
     1670foreach f {10 11 12 13 14 16 18 20 22} {
    16711671    .a.options.menu.font add radiobutton \
    16721672            -command {SetTkDefaultOptions $expgui(font); ResizeFont .} \
Note: See TracChangeset for help on using the changeset viewer.