From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id CAA25547; Thu, 27 Feb 2003 02:06:59 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id CAA25815 for ; Thu, 27 Feb 2003 02:06:58 +0100 (MET) Received: from KVIW06.KVI.NL (KVIW06.KVI.nl [129.125.15.26]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h1R16sT10806 for ; Thu, 27 Feb 2003 02:06:55 +0100 (MET) Received: from KVIR52.KVI.nl ("port 1179"@KVIR52.KVI.nl [129.125.37.116]) by KVI.nl (PMDF V6.2 #30688) with ESMTP id <01KSWZB5FQPMC3SYP9@KVI.nl> for Caml-list@inria.fr; Thu, 27 Feb 2003 02:06:32 +0100 (MET) Received: from KVIW14.KVI.nl by KVIR52.KVI.nl (AvMailGate-2.0.1.10) id 09521-487E1C79; Thu, 27 Feb 2003 02:06:31 +0100 Received: from KVIP88.KVI.nl ("port 33393"@KVIP88.KVI.nl [129.125.15.152]) by KVI.nl (PMDF V6.2 #30688) with ESMTP id <01KSWZABQ1REC3T1M3@KVI.nl> for Caml-list@inria.fr; Thu, 27 Feb 2003 02:05:52 +0100 (MET) Date: Thu, 27 Feb 2003 02:05:51 +0100 From: "Alexander S. Usov" Subject: [Caml-list] Fonts in ocamlbrowser To: OCaml list Message-id: <200302270205.51022.A.S.Usov@kvi.nl> Organization: KVI MIME-version: 1.0 Content-type: text/plain; charset=koi8-r Content-transfer-encoding: 7BIT Content-disposition: inline User-Agent: KMail/1.5 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi All! Is it any way to change fonts in ocamlbrowser editor? They are too small for my screen resolution :) Platform -- Linux/X11. -- Best regards, Alexander. ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners