From mint-bounce@lists.fishpool.fi Sat Aug 28 11:14:45 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=cE0BMuEKlqfMHg30DwtHCIrVdmK6+eAuC3qMKpdpDUQ=; b=klZgyjT9wz2rmV8w2HnfEQw9OnpcaGQlYD1JFdXSeme5MwY1HIndDiCPMST+Tt/v0z dYJruZ93+Z51PA8d3URaMsaVbKxFfcCOp3DCWQH7693YJhr11uv2UjIFdsVOwrSqnl31 031sXcJAC48JFYxNT66pi5n6KV70zn5WgYcFY= 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=c+gWLKFiCcyX4NBN1v4dRY15qBS9rIu52j+i1QSjKJEsN5b0p5yY0M4a0ogpqUw8oH QmokJTnOJVn/VXpA3JfOTfR+JYlJjq3aCqGBe8ZRrIW3S4FTR79suZ5+VL5bvvHpc2PR BQhjrRtZfhvPcFFutlZ3kr8CW/1V4TgPit7fo= Subject: Re: [MiNT] XaAES info line hight Mime-Version: 1.0 (Apple Message framework v1081) Content-Type: text/plain; charset=iso-8859-1 From: Peter Persson In-Reply-To: Date: Sat, 28 Aug 2010 17:11:35 +0200 Cc: mint@lists.fishpool.fi Message-Id: <8E9ED41A-A4E4-4ED6-9549-CD50BA7535EE@gmail.com> References: <0002894a.01c73262a882@smtp.freeola.net> <6f92e0fc626689677f61d24b62e6c739-EhVcX1lFRQVaRwYcDTpQCEFddQZLVF5dQUNBAjBTXF5bVkYJXV1oA1ZUMl5dSUcLVlldQ18=-webmailer2@server02.webmailer.hosteurope.de> To: Helmut Karlowski 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 o7SFEigV005160 28 aug 2010 kl. 13.33 skrev Helmut Karlowski: > Now what do you want? > > Hook it to standard_point? I recommend to try value of 9 to see what happens. > > I guess best is something like 'infoline_point' (global). Else I leave it as is.¨ AFAIK the font information for the window title bar and the info line (maybe also for menu bars & windowed menus) is hard coded atm in the theme descriptions. Maybe it could be a good idea to be able to supply a font ID and a font point size, instead of having a "standard" vs "small" info line mode. Somehow I have the impression that it would be easier to implement, too. -- PeP