MenuEditor.st
changeset 2337 ff5a37df2a9c
parent 2334 dc1388cc7160
child 2341 5e96eeacf346
equal deleted inserted replaced
2336:b3ce8b110486 2337:ff5a37df2a9c
  3411               )
  3411               )
  3412               name: 'fontMenu'
  3412               name: 'fontMenu'
  3413               layout: (LayoutFrame 110 0 260 0 -5 1.0 282 0)
  3413               layout: (LayoutFrame 110 0 260 0 -5 1.0 282 0)
  3414               activeHelpKey: fontMenu
  3414               activeHelpKey: fontMenu
  3415               model: font
  3415               model: font
       
  3416                     allowSymbolicFonts: true
  3416             )
  3417             )
  3417            )
  3418            )
  3418 
  3419 
  3419         )
  3420         )
  3420       )
  3421       )