{
  SystemFont = "-*-helvetica-medium-r-normal-*-%d-*-*-*-*-*-*-*";
  BoldSystemFont = "-*-helvetica-bold-r-normal-*-%d-*-*-*-*-*-*-*";
  DoubleClickTime = 250;
}
