Date: prev next · Thread: first prev next last
2012 Archives by date, by thread · List index

Hi Mirek, Astron, all,

On 2012-04-20 at 09:16 +0200, Mirek M. wrote:

I agree that the rulers should look better.
Kendy -- would it be possible to change the look of the rulers?

First of all - thank you for lots of good ideas.  I am now going through
them, to sort what is easy, and what is harder, but immediately I can
answer, that changing any particular widget is +-easy.  What makes the
task of changing the entire chrome hard is that there is so many widget
types - push buttons with many states (normal, pressed, hover, default),
scrollbars (hover, pressed button, dragging the scroller), etc. etc.

So - if you can propose a better looking ruler, that would be great,
just please so far keep in mind that it should play well with the
default Windows theme :-) - other than that, let's go for changing that!
If you can create a proposal that would be applied to a screenshot of
Writer, that would help a lot.

Looking forward to this,

Unsubscribe instructions: E-mail to
Posting guidelines + more:
List archive:
All messages sent to this list will be publicly archived and cannot be deleted


Privacy Policy | Impressum (Legal Info) | Copyright information: Unless otherwise specified, all text and images on this website are licensed under the Creative Commons Attribution-Share Alike 3.0 License. This does not include the source code of LibreOffice, which is licensed under the Mozilla Public License (MPLv2). "LibreOffice" and "The Document Foundation" are registered trademarks of their corresponding registered owners or are in actual use as trademarks in one or more countries. Their respective logos and icons are also subject to international copyright laws. Use thereof is explained in our trademark policy.