*international: True
*info_base.hSpace: 0
*info_base.vSpace: 0
*info_base.hSpace: 0
*info_base.vSpace: 0
*popdown_button.label: Ĥ
*fontSet: -*--14-*
