From mint-bounce@lists.fishpool.fi Sat Sep 11 17:40:20 2010 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:subject:mime-version :content-type:from:in-reply-to:date:cc:content-transfer-encoding :message-id:references:to:x-mailer; bh=iHvlZC2/LhgGqjRh80K6Uuu4IkNyOZNrgy7l8HPIVO0=; b=RLXS3BA36FHZ58gnYE2C+ncKAL86dBp4LfoVBccHBXBDsoxxCearVkH+4tv2woE90j qnK94cjyLEGujyd8XECv9oBDj4DF8sYYf3krF/ioT0UcnQbvhmlSncOSf+WGpGq1+nhA 6EfXU4BmDb0BtfDAytTZR7BnQBijTOeUfAR68= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=subject:mime-version:content-type:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to:x-mailer; b=Zr22njApQWyMV8A/PYL63Yk9SRgMU6j85IFzLt4lVR0GTeQuXrg54voUaZQaActfBE voUqGNQEC1caVwvzRzAFL5OoOwu8hA69eI9S0aQisdfLHbRj94bSJYjMRsJUf19If2bl YVxey/anmA+aTdbGyIZ+CvnP+nt9bDlb9xa6I= Subject: Re: [MiNT] XaAES info line height Mime-Version: 1.0 (Apple Message framework v1081) Content-Type: text/plain; charset=iso-8859-1 From: Peter Persson In-Reply-To: <201009112111.35245.jflemaire@skynet.be> Date: Sat, 11 Sep 2010 22:28:50 +0200 Cc: mint@lists.fishpool.fi Message-Id: References: <00024b45.01d0f262ef36@smtp.freeola.net> <201009112111.35245.jflemaire@skynet.be> To: =?iso-8859-1?Q?Jean-Fran=E7ois_Lemaire?= X-Mailer: Apple Mail (2.1081) X-ecartis-version: Ecartis v1.0.0 Sender: mint-bounce@lists.fishpool.fi Errors-to: mint-bounce@lists.fishpool.fi X-original-sender: pep.fishmoose@gmail.com Precedence: bulk List-help: List-unsubscribe: List-Id: X-List-ID: List-subscribe: List-owner: List-post: Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by mail.sparemint.org id o8BLeJp8012086 11 sep 2010 kl. 21.11 skrev Jean-François Lemaire: > This was discussed a couple of weeks ago. In a few words, Helmut doesn't want > to revert his commit so someone else has to do it, or, even better, we need to > discuss this before making a decision (I thought that was the point of this > list, personally). The obvious choice would be to make the font ID and point size configurable. Same thing with the window title bar. -- PeP