incubator-ooo-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From RGB ES <rgb.m...@gmail.com>
Subject Re: [CODE][UX] Bugs 25945 Show/Hide Scroll Bar Tips on Writer
Date Wed, 18 Jul 2012 10:35:05 GMT
2012/7/18 Ariel Constenla-Haile <arielch@apache.org>:
> Hi,
>
> I've a fix for bug https://issues.apache.org/ooo/show_bug.cgi?id=25945
>
> I added a new ViewSettings' property, named "ShowScrollBarTips"; by
> default this setting is set to true (scroll bar tips will be shown), and
> I didn't add the option to the "Tools" - "Options..." dialog (that is,
> the option can be set via an AOO Basic macro, not via the UI).
>
> These two points are arguable, it may be discussed if:
>
> - showing scroll bar tips is on or off by default
> - this option is configurable with the "Tools" - "Options..." dialog
>
> In any case, if someone wants to please "angry users" (see latest
> comments in the bug) and include this in 3.4.1, the trivial way is to
> let things as they are right now: scroll bar tips on by default, the
> option not customizable in the Options dialog (this will require new UI
> strings).
>
>
> Regards
> --
> Ariel Constenla-Haile
> La Plata, Argentina

Thanks, Ariel for moving on this issue.

I have a question, though: The fix also prevents other help tips to
show, is that right? Because the problem on Bug 25945 is only with the
box with the page number and heading name that shows when you scroll
the document: because I've never see anyone protesting for the other
tips, maybe the fix is a bit too much.

When the problem arise on the forums, I always recommend the
workaround on Comment 9.

Regards
Ricardo

Mime
View raw message