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