Re: [PATCH] Don't make tab headers bold by default

2012-05-26 Thread Stefan Knorr (Astron)
Hi Norbert, thanks... here's an updated version. Astron. 0001-Use-normal-font-in-tab-headers.patch Description: Binary data ___ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice

Re: [PATCH] Don't make tab headers bold by default

2012-05-26 Thread Norbert Thiebaud
On Fri, May 25, 2012 at 12:07 PM, Stefan Knorr (Astron) wrote: > Hi there, > > I've always wondered why LibreOffice (and before it Ooo) would make > the selected tab header bold, because no OS I know does that natively. > While there is an option with which backends could turn this behaviour > off

Re: [PATCH] Don't make tab headers bold by default

2012-05-25 Thread Stefan Knorr (Astron)
Hi again, thanks for the hint ... forgot the attachment. Astron. 0001-Use-normal-font-in-tab-headers.patch Description: Binary data ___ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffi

[PATCH] Don't make tab headers bold by default

2012-05-25 Thread Stefan Knorr (Astron)
Hi there, I've always wondered why LibreOffice (and before it Ooo) would make the selected tab header bold, because no OS I know does that natively. While there is an option with which backends could turn this behaviour off, if there's no need for that we probably should remove it, I guess. Attach